{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:03Z","timestamp":1725664983111},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:20:16Z","timestamp":1330276816000},"page":"213-227","source":"Crossref","is-referenced-by-count":5,"title":["Higher order deforestation"],"prefix":"10.1007","author":[{"given":"G. W.","family":"Hamilton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson. Compiling Pattern Matching. In Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science, pages 368\u2013381. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"F. Bellegarde. A Transformation System Combining Partial Evaluation with Term Rewriting. Technical Report CS\/E 94-010, Dept. of Computer Science, Oregon Graduate Institute, 1994.","DOI":"10.1007\/3-540-58233-9_3"},{"key":"15_CR3","unstructured":"Wei-Ngan Chin. Automatic Methods for Program Transformation. PhD thesis, Imperial College, University of London, July 1990."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal Type Schemes for Functional Programs. In Proceedings of the Ninth ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"15_CR5","unstructured":"A. Gill. Cheap Deforestation for Non-Strict Functional Languages. PhD thesis, Glasgow University, September 1995."},{"key":"15_CR6","unstructured":"G.W. Hamilton. Compile-Time Optimisation of Store Usage in Lazy Functional Programs. PhD thesis, University of Stirling, October 1993."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes. Supercombinators: A New Implementation Method for Applicative Languages. In Proceedings of the ACM Conference on LISP and Functional Programming, pages 1\u201310, 1982.","DOI":"10.1145\/800068.802129"},{"issue":"2","key":"15_CR8","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"R.J.M. Hughes","year":"1989","unstructured":"R.J.M. Hughes. Why Functional Programming Matters. The Computer Journal, 32(2):98\u2013107, April 1989.","journal-title":"The Computer Journal"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"T. Johnsson. Lambda Lifting: Transforming Programs to Recursive Equations. In Proceedings of the Workshop on Implementation of Functional Languages, pages 165\u2013180, February 1985.","DOI":"10.1007\/3-540-15975-4_37"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"S. Marlow and P. Wadler. Deforestation for Higher-Order Functions. In Proceedings of the Fifth Annual Glasgow Workshop on Functional Programming, pages 154\u2013165, July 1992.","DOI":"10.1007\/978-1-4471-3215-8_14"},{"key":"15_CR11","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Science, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Science"},{"key":"15_CR12","unstructured":"K. Nielsen and M. H. S\u00f8rensen. Deforestation, Partial Evaluation, and Evaluation Orders. Unpublished, 1995."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"D. Sands. Proving the Correctness of Recursion-Based Automatic Program Transformations. In Sixth International Conference on Theory and Practice of Software Development (TAPSOFT), volume 915 of Lecture Notes in Computer Science, pages 681\u2013695. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59293-8_228"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"H. Seidl. Integer Constraints to Stop Deforestation. In Proceedings of the European Symposium on Programming, 1996.","DOI":"10.1007\/3-540-61055-3_46"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"M. H. S\u00f8rensen. A Grammar-Based Data-Flow Analysis to Stop Deforestation. In Lecture Notes in Computer Science, volume 787, pages 335\u2013351, 1994.","DOI":"10.1007\/BFb0017492"},{"key":"15_CR16","unstructured":"P. Wadler. Efficient Compilation of Pattern Matching. In S.L. Peyton Jones, editor, The Implementation of Functional Programming Languages, pages 78\u2013103. Prentice Hall, 1987."},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"P. Wadler. Deforestation: Transforming Programs to Eliminate Trees. Theoretical Computer Science, 73:231\u2013248, 1990.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:22Z","timestamp":1605629422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}