{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:13Z","timestamp":1772164033338,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,22]],"date-time":"2011-09-22T00:00:00Z","timestamp":1316649600000},"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":[[2011,9,22]]},"DOI":"10.1145\/2034675.2034682","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T11:13:10Z","timestamp":1316776390000},"page":"47-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A library writer's guide to shortcut fusion"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Harper","sequence":"first","affiliation":[{"name":"University of Oxford, OXFORD, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,22]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_3"},{"key":"e_1_3_2_2_3_1","volume-title":"Universidad de la Rep\u00fablica","author":"Dominguez F.","year":"2009","unstructured":"F. Dominguez . HFusion: a fusion tool based on Acid Rain plus extensions. Master thesis , Universidad de la Rep\u00fablica , 2009 . F. Dominguez. HFusion: a fusion tool based on Acid Rain plus extensions. Master thesis, Universidad de la Rep\u00fablica, 2009."},{"key":"e_1_3_2_2_4_1","series-title":"LMS Lecture Note Series","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/CBO9780511525902.006","volume-title":"Applications of Categories in Computer Science","author":"Freyd P. J.","year":"1992","unstructured":"P. J. Freyd . Remarks on algebraically compact categories . In M. P. Fourman, P. T. Johnstone, and A. M. Pitts, editors, Applications of Categories in Computer Science , volume 177 of LMS Lecture Note Series , pages 95 -- 106 . Cambridge University Press , 1992 . P. J. Freyd. Remarks on algebraically compact categories. In M. P. Fourman, P. T. Johnstone, and A. M. Pitts, editors, Applications of Categories in Computer Science, volume 177 of LMS Lecture Note Series, pages 95--106. Cambridge University Press, 1992."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_22"},{"key":"e_1_3_2_2_6_1","volume-title":"When is a function a fold or an unfold? In \"Proceedings of the 4th International Workshop on Coalgebraic Methods in Computer Science","author":"Gibbons J.","year":"2001","unstructured":"J. Gibbons , G. Hutton , and T. Altenkirch . When is a function a fold or an unfold? In \"Proceedings of the 4th International Workshop on Coalgebraic Methods in Computer Science \". Elsevier Science , 2001 . J. Gibbons, G. Hutton, and T. Altenkirch. When is a function a fold or an unfold? In \"Proceedings of the 4th International Workshop on Coalgebraic Methods in Computer Science\". Elsevier Science, 2001."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007175"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_2_9_1","first-page":"125","volume-title":"IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages","author":"Harper T.","year":"2009","unstructured":"T. Harper . Stream fusion on Haskell Unicode strings. In M. Moraz\u00e1n and S.-B. Scholz, editors , IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages , pages 125 -- 140 , Berlin , Sept. 2009 . Springer-Verlag. T. Harper. Stream fusion on Haskell Unicode strings. In M. Moraz\u00e1n and S.-B. Scholz, editors, IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages, pages 125--140, Berlin, Sept. 2009. Springer-Verlag."},{"key":"e_1_3_2_2_10_1","series-title":"Lecture Notes in Computer Science","first-page":"246","volume-title":"Partial Evaluation","author":"Heine M.","year":"1999","unstructured":"M. Heine , B. S\u00f8rensen , and R. Gl\u00fcck . Introduction to Supercompilation . In J. Hatcliff, T. Mogensen, and P. Thiemann, editors, Partial Evaluation , volume 1706 of Lecture Notes in Computer Science , pages 246 -- 270 . Springer Berlin \/ Heidelberg , 1999 . M. Heine, B. S\u00f8rensen, and R. Gl\u00fcck. Introduction to Supercompilation. In J. Hatcliff, T. Mogensen, and P. Thiemann, editors, Partial Evaluation, volume 1706 of Lecture Notes in Computer Science, pages 246--270. Springer Berlin \/ Heidelberg, 1999."},{"key":"e_1_3_2_2_11_1","first-page":"402","volume-title":"Pre-proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)","author":"Hinze R.","year":"2010","unstructured":"R. Hinze , D. W. James , and T. Harper . Theory and practice of fusion. In J. Hage, editor , Pre-proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10) , pages 402 -- 421 , September 2010 . R. Hinze, D. W. James, and T. Harper. Theory and practice of fusion. In J. Hage, editor, Pre-proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10), pages 402--421, September 2010."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_2_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"phInitial algebra semantics is enough!","author":"Johann P.","year":"2007","unstructured":"P. Johann and N. Ghani . phInitial algebra semantics is enough! , volume 4583 of Lecture Notes in Computer Science . Springer Berlin Heidelberg , Berlin, Heidelberg , 2007 . P. Johann and N. Ghani. phInitial algebra semantics is enough!, volume 4583 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007."},{"key":"e_1_3_2_2_14_1","first-page":"203","volume-title":"Haskell Workshop","author":"Jones S. P.","year":"2001","unstructured":"S. P. Jones , A. Tolmach , and T. Hoare . Playing by the Rules: Rewriting as a practical optimisation technique in GHC . In Haskell Workshop , pages 203 -- 233 . ACM SIGPLAN, 2001 . S. P. Jones, A. Tolmach, and T. Hoare. Playing by the Rules: Rewriting as a practical optimisation technique in GHC. In Haskell Workshop, pages 203--233. ACM SIGPLAN, 2001."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/583852.581491"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328412"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 4th ACM symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034682","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034675.2034682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:26Z","timestamp":1750225706000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034675.2034682"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,22]]},"references-count":20,"alternative-id":["10.1145\/2034675.2034682","10.1145\/2034675"],"URL":"https:\/\/doi.org\/10.1145\/2034675.2034682","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2096148.2034682","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,22]]},"assertion":[{"value":"2011-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}