{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:37Z","timestamp":1772163937133,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1145\/1291151.1291199","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"315-326","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":132,"title":["Stream fusion"],"prefix":"10.1145","author":[{"given":"Duncan","family":"Coutts","sequence":"first","affiliation":[{"name":"Oxford University, Oxford, United Kingdom"}]},{"given":"Roman","family":"Leshchinskiy","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, Australia"}]},{"given":"Don","family":"Stewart","sequence":"additional","affiliation":[{"name":"University of New South Wales, Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317907"},{"key":"e_1_3_2_1_2_1","first-page":"512","volume-title":"Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006","author":"Chitil Olaf","year":"2006","unstructured":"Olaf Chitil . Promoting non-strict programming . In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006 , pages 512 -- 516 , Budapest, Hungary , September 2006 . Eotvos Lorand University. Olaf Chitil. Promoting non-strict programming. In Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006, pages 512--516, Budapest, Hungary, September 2006. Eotvos Lorand University."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_3"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"85","volume-title":"Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC","author":"Danielsson Nils Anders","year":"2004","unstructured":"Nils Anders Danielsson and Patrik Jansson . Chasing bottoms, a case study in program verification in the presence of partial and infinite values . In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004 , volume 3125 of LNCS , pages 85 -- 109 . Springer-Verlag , July 2004. Nils Anders Danielsson and Patrik Jansson. Chasing bottoms, a case study in program verification in the presence of partial and infinite values. In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS, pages 85--109. Springer-Verlag, July 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27764-4_9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289455"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/232629.232637"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792034.1792040"},{"key":"e_1_3_2_1_11_1","volume-title":"Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept.1985)","author":"Johnsson Thomas","year":"1985","unstructured":"Thomas Johnsson . Lambda lifting: transforming programs to recursive equations . In Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept.1985) , New York, NY, USA , 1985 . Springer-Verlag Inc . Thomas Johnsson. Lambda lifting: transforming programs to recursive equations. In Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept.1985), New York, NY, USA, 1985. Springer-Verlag Inc."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645391.651452"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/127960.128035"},{"key":"e_1_3_2_1_15_1","first-page":"195","volume-title":"Functional Programming","author":"Partain Will","year":"1992","unstructured":"Will Partain . The nofib benchmark suite of Haskell programs . In Functional Programming , pages 195 -- 202 , 1992 . Will Partain. The nofib benchmark suite of Haskell programs. In Functional Programming, pages 195--202, 1992."},{"key":"e_1_3_2_1_16_1","volume-title":"Constructor Specialisation for Haskell Programs","author":"Jones Simon Peyton","year":"2007","unstructured":"Simon Peyton Jones . Constructor Specialisation for Haskell Programs , 2007 . Submitted for publication. Simon Peyton Jones. Constructor Specialisation for Haskell Programs, 2007. Submitted for publication."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"e_1_3_2_1_18_1","volume-title":"2001 Haskell Workshop. ACM SIGPLAN","author":"Jones Simon Peyton","year":"2001","unstructured":"Simon Peyton Jones , Andrew Tolmach , and Tony Hoare . Playing by the rules: rewriting as a practical optimisation technique in GHC. In Ralf Hinze, editor , 2001 Haskell Workshop. ACM SIGPLAN , September 2001 . Simon Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: rewriting as a practical optimisation technique in GHC. In Ralf Hinze, editor, 2001 Haskell Workshop. ACM SIGPLAN, September 2001."},{"issue":"1","key":"e_1_3_2_1_19_1","first-page":"0","article-title":"The Haskell 98 language and libraries: The revised report","volume":"13","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones . The Haskell 98 language and libraries: The revised report . Journal of Functional Programming , 13 ( 1 ): 0 -- 255 , Jan 2003 . Simon Peyton Jones et al. The Haskell 98 language and libraries: The revised report. Journal of Functional Programming, 13(1): 0--255, Jan 2003.","journal-title":"Journal of Functional Programming"},{"key":"e_1_3_2_1_20_1","unstructured":"Colin Runciman. SmallCheck 0.2: another lightweight testing library in Haskell. http:\/\/article.gmane.org\/gmane.comp.lang.haskell.general\/14461 2006.  Colin Runciman. SmallCheck 0.2: another lightweight testing library in Haskell. http:\/\/article.gmane.org\/gmane.comp.lang.haskell.general\/14461 2006."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581491"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_1_23_1","unstructured":"The GHC Team. The Glasgow Haskell Compiler (GHC). http:\/\/haskell.org\/ghc 2007.  The GHC Team. The Glasgow Haskell Compiler (GHC). http:\/\/haskell.org\/ghc 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"The implementation of functional programming languages","author":"Wadler Philip","year":"1987","unstructured":"Philip Wadler . List comprehensions . In Simon Peyton Jones, editor, The implementation of functional programming languages . Prentice Hall , 1987 . Chapter 15. Philip Wadler. List comprehensions. In Simon Peyton Jones, editor, The implementation of functional programming languages. Prentice Hall, 1987. Chapter 15."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291199","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291199"}},"subtitle":["from lists to streams to nothing at all"],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":24,"alternative-id":["10.1145\/1291151.1291199","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291199","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291199","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}