{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:33Z","timestamp":1750307793749,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"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":[[2008,1,7]]},"DOI":"10.1145\/1328408.1328436","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T14:45:40Z","timestamp":1199717140000},"page":"189-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Heap recycling for lazy languages"],"prefix":"10.1145","author":[{"given":"Jurriaan","family":"Hage","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Stefan","family":"Holdermans","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15--17","author":"Barendsen Erik","year":"1993","unstructured":"Erik Barendsen and Sjaak Smetsers . Conventional and uniqueness typing in graph rewrite systems . In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15--17 , 1993 , Proceedings, volume 761 of Lecture Notes in Computer Science , pages 41 -- 51 . Springer-Verlag , 1993. Erik Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15--17, 1993, Proceedings, volume 761 of Lecture Notes in Computer Science, pages 41--51. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_2_1","volume-title":"Introduction to Functional Programming using Haskell","author":"Bird Richard","year":"1998","unstructured":"Richard Bird . Introduction to Functional Programming using Haskell . Prentice Hall , London , 2 nd edition, 1998 . Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall, London, 2nd edition, 1998.","edition":"2"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","first-page":"58","volume-title":"Implementation of Functional Languages, 8th International Workshop, IFL'96","author":"Boquist Urban","year":"1996","unstructured":"Urban Boquist and Thomas Johnsson . The GRIN project: A highly optimising back end for lazy functional languages . In Werner E. Kluge, editor, Implementation of Functional Languages, 8th International Workshop, IFL'96 , Bad Godesberg , Germany, September 16--18, 1996 , Selected Papers, volume 1268 of Lecture Notes in Computer Science , pages 58 -- 84 . Springer-Verlag , 1997. Urban Boquist and Thomas Johnsson. The GRIN project: A highly optimising back end for lazy functional languages. In Werner E. Kluge, editor, Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16--18, 1996, Selected Papers, volume 1268 of Lecture Notes in Computer Science, pages 58--84. Springer-Verlag, 1997."},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","year":"2001","unstructured":"Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Cliff Stein . Introduction to Algorithms . The MIT Press , Cambridge, Massachusetts , 2 nd edition, 2001 . Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Cliff Stein. Introduction to Algorithms. The MIT Press, Cambridge, Massachusetts, 2nd edition, 2001.","edition":"2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","first-page":"181","volume-title":"Implementation and Application of Functional Languages, 18th International Workshop, IFL","author":"de Vries Edsko","year":"2006","unstructured":"Edsko de Vries , Rinus Plasmeijer , and David Abrahamson . Uniqueness typing redefined . In Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006 , Budapest, Hungary, September 4--6, 2006, Revised Selected Papers, volume 4449 of Lecture Notes in Computer Science , pages 181 -- 198 . Springer-Verlag , 2007. Edsko de Vries, Rinus Plasmeijer, and David Abrahamson. Uniqueness typing redefined. In Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, Budapest, Hungary, September 4--6, 2006, Revised Selected Papers, volume 4449 of Lecture Notes in Computer Science, pages 181--198. Springer-Verlag, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319309"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291189"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/763845.763847"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604148"},{"key":"e_1_3_2_1_12_1","unstructured":"Thomas P.\n      Jensen\n     and \n      Torben\n       \u00c6. \n      Mogensen\n    .\n  A backwards analysis for compile-time garbage collection\n  . In Neil D. Jones editor sium on Programming Copenhagen Denmark May 15--18 1990 Proceedings volume \n  432\n   of \n  Lecture Notes in Computer Science pages \n  227\n  --\n  239\n  . \n  Springer-Verlag 1990. ESOP'90 3rd European Symposium on Programming Copenhagen Denmark May 15--18 1990 Proceedings volume 432 of Lecture Notes in Computer Science pages 227--239. Springer-Verlag 1990.   Thomas P. Jensen and Torben \u00c6. Mogensen. A backwards analysis for compile-time garbage collection. In Neil D. Jones editor sium on Programming Copenhagen Denmark May 15--18 1990 Proceedings volume 432 of Lecture Notes in Computer Science pages 227--239. Springer-Verlag 1990. ESOP'90 3rd European Symposium on Programming Copenhagen Denmark May 15--18 1990 Proceedings volume 432 of Lecture Notes in Computer Science pages 227--239. Springer-Verlag 1990."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663086","volume-title":"Qualified Types: Theory and Practice","author":"Jones Mark P.","year":"1994","unstructured":"Mark P. Jones . Qualified Types: Theory and Practice . Cambridge University Press , Cambridge , 1994 . Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, Cambridge, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99375"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_18_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , Cambridge , 2003 . Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, 2003."},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Baestad, Sweden, May 24--30","author":"Wadler Philip","year":"1995","unstructured":"Philip Wadler . Monads for functional programming . In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Baestad, Sweden, May 24--30 , 1995 , Tutorial Text, volume 925 of Lecture Notes in Computer Science , pages 24 -- 52 . Springer-Verlag , 1995. Philip Wadler. Monads for functional programming. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Baestad, Sweden, May 24--30, 1995, Tutorial Text, volume 925 of Lecture Notes in Computer Science, pages 24--52. Springer-Verlag, 1995."}],"event":{"name":"PEPM08: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Francisco California USA","acronym":"PEPM08"},"container-title":["Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328436","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328408.1328436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:22Z","timestamp":1750254982000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":18,"alternative-id":["10.1145\/1328408.1328436","10.1145\/1328408"],"URL":"https:\/\/doi.org\/10.1145\/1328408.1328436","relation":{},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}