{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T07:29:08Z","timestamp":1770881348191,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540190271","type":"print"},{"value":"9783540389415","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:56:41Z","timestamp":1330181801000},"page":"344-358","source":"Crossref","is-referenced-by-count":76,"title":["Deforestation: Transforming programs to eliminate trees"],"prefix":"10.1007","author":[{"given":"Philip","family":"Wadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"L. Augustsson, Compiling pattern matching. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Nancy, France, September 1985. LNCS 201, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_48"},{"key":"23_CR2","volume-title":"Compiling lazy functional languages, Part II","author":"L. Augustsson","year":"1987","unstructured":"L. Augustsson, Compiling lazy functional languages, Part II. Ph.D. dissertation, Department of Computer Science, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweden, 1987."},{"issue":"1","key":"23_CR3","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington, A transformation system for developing recursive programs. Journal of the ACM, 24(1):44\u201367, January 1977.","journal-title":"Journal of the ACM"},{"key":"23_CR4","volume-title":"Deforestation: Transformation of functional programs to eliminate intermediate trees","author":"M. K. Davis","year":"1987","unstructured":"M. K. Davis, Deforestation: Transformation of functional programs to eliminate intermediate trees. M.Sc. dissertation, Programming Research Group, Oxford University, September 1987."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner, Principal type schemes for functional programs. In Proceedings of the ACM Symposium on Principles of Programming Languages, January 1982.","DOI":"10.1145\/582153.582176"},{"key":"23_CR6","volume-title":"Compiling lazy functional languages","author":"T. Johnsson","year":"1987","unstructured":"T. Johnsson, Compiling lazy functional languages. Ph.D. dissertation, Department of Computer Science, Chalmers Tekniska H\u00f6gskola, G\u00f6teborg, Sweden, 1987."},{"key":"23_CR7","unstructured":"P. Hancock, Polymorphic type-checking. In [Pey87]."},{"key":"23_CR8","doi-asserted-by":"publisher","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 Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"23_CR9","unstructured":"S. L. Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall, 1987."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"D. A. Turner, Miranda: A non-strict functional language with polymorphic types. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, Nancy, France, September 1985. LNCS 201, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"P. L. Wadler, Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time. In Proceedings of the ACM Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.","DOI":"10.1145\/800055.802020"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"P. L. Wadler, Listlessness is better than laziness II: Composing listless functions. In Proceedings of the Workshop on Programs as Data Objects, Copenhagen, October 1985. LNCS 217, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16446-4_16"},{"key":"23_CR13","unstructured":"P. L. Wadler, Efficient compilation of pattern-matching. In [Pey87]."},{"key":"23_CR14","unstructured":"P. L. Wadler, The concatenate vanishes. Note distributed to FP electronic mailing list, December 1987."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:16:13Z","timestamp":1605626173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}