{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:06:21Z","timestamp":1742915181110,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026823","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"223-240","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Better consumers for deforestation"],"prefix":"10.1007","author":[{"given":"Wei-Ngan","family":"Chin","sequence":"first","affiliation":[]},{"given":"Siau-Cheng","family":"Khoo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"15_CR1","unstructured":"Wei-Ngan Chin and John Darlington. A higher-order removal method. Submitted for Publication, September 1994."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Wei-Ngan Chin. Safe fusion of functional expressions. In 7th ACM Lisp and Functional Programming Conference, pages 11\u201320, San Francisco, California, June 1992.","DOI":"10.1145\/141478.141494"},{"key":"15_CR3","unstructured":"Wei-Ngan Chin and Siau-Cheng Khoo. Better consumers for program specialisation. Technical report, Dept of IS\/CS, NUS, August 1995."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"A. Gill, J. Launchbury, and S. Peyton-Jones. A short-cut to deforestation. In 6th ACM Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/165180.165214"},{"key":"15_CR5","series-title":"Lect. Notes Comput. Sc.","volume-title":"PLILP, Madrid, Spain","author":"R. Gl\u00fcck","year":"1994","unstructured":"R. Gl\u00fcck and Morten H. S\u00f8rensen. Partial deduction and driving are equivalent. In PLILP, Madrid, Spain, (Lect. Notes Comput. Sc.), Berlin Heidelberg New York: Springer, 1994."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Carsten Kehler Holst. Finiteness analysis. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, pages 473\u2013495, Cambridge, Massachusetts, August 1991.","DOI":"10.1007\/3540543961_23"},{"key":"15_CR7","series-title":"Lect. Notes Comput. Sc., vol 528","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-54444-5_111","volume-title":"Proceedings of PLLLP, Passau, Germany","author":"M. Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Unfolding \u2014 definition \u2014 folding, in this order for avoiding unnecessary variables in logic programs. In Proceedings of PLLLP, Passau, Germany, (Lect. Notes Comput. Sc., vol 528, pp. 347\u2013258) Berlin Heidelberg New York: Springer, 1991."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"C. Runciman, M. Firth, and N. Jagger. Transformation in a non-strict language: An approach to instantiation. In Glasgow Functional Programming Workshop, August 1989.","DOI":"10.1007\/978-1-4471-3166-3_9"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"T. Sheard and L. Fegaras. A fold for all seasons. In 6th ACM Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/165180.165216"},{"key":"15_CR10","unstructured":"Morten H. S\u00f8rensen. A grammar-based data-flow analysis to stop deforestation. In Colloquium on Trees and Algebra in Programming (CAAP) LNCS 787, Edinburgh, April 1994."},{"key":"15_CR11","first-page":"141","volume-title":"Lect. Notes Comput. Sc., vol 724","author":"P. Thiemann","year":"1993","unstructured":"Peter Thiemann. Avoiding repeated tests in pattern-matching. In 3rd International Workshop on Static Analysis, Padova, Italy, (Lect. Notes Comput. Sc., vol 724, pp. 141\u2013152) Berlin Heidelberg New York: Springer, 1993."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Phil Wadler. Deforestation: Transforming programs to eliminate trees. In European Symposium on Programming, pages 344\u2013358, Nancy, France, March 1988.","DOI":"10.1007\/3-540-19027-9_23"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:23:03Z","timestamp":1578525783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026823"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0026823","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"16 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}