{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:06:39Z","timestamp":1774987599455,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,28]],"date-time":"2013-09-28T00:00:00Z","timestamp":1380326400000},"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":[[2013,9,28]]},"DOI":"10.1145\/2502488.2502496","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Histo- and dynamorphisms revisited"],"prefix":"10.1145","author":[{"given":"Ralf","family":"Hinze","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2007028"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511763199","volume-title":"Pearls of Functional Algorithm Design","author":"Bird R.","year":"2010","unstructured":"R. Bird , Pearls of Functional Algorithm Design . Cambridge University Press , 2010 . R. Bird, Pearls of Functional Algorithm Design. Cambridge University Press, 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.08.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1256068141"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.011"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-24276-2_2","volume-title":"Theory and practice of fusion,\" in Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10)","author":"Hinze R.","year":"2011","unstructured":"R. Hinze , D. W. James , and T. Harper , \" Theory and practice of fusion,\" in Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10) , ser. Lecture Notes in Computer Science , vol. 6647 . Springer Berlin \/ Heidelberg , Sep. 2011 , pp. 19 -- 37 . 10.1007\/978-3-642-24276-2_2 R. Hinze, D. W. James, and T. Harper, \"Theory and practice of fusion,\" in Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10), ser. Lecture Notes in Computer Science, vol. 6647. Springer Berlin \/ Heidelberg, Sep. 2011, pp. 19--37. 10.1007\/978-3-642-24276-2_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500578"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01396534"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_15"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1965-0177024-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"e_1_3_2_1_13_1","volume-title":"Haskell 98 Language and Libraries","author":"Peyton Jones S.","year":"2003","unstructured":"Has S. Peyton Jones , Haskell 98 Language and Libraries . Cambridge University Press , 2003 . Has S. Peyton Jones, Haskell 98 Language and Libraries. Cambridge University Press, 2003."},{"issue":"1","key":"e_1_3_2_1_14_1","first-page":"5","article-title":"Primitive (co)recursion and course-of-value (co)iteration, categorically","volume":"10","author":"Uustalu T.","year":"1999","unstructured":"T. Uustalu and V. Vene , \" Primitive (co)recursion and course-of-value (co)iteration, categorically ,\" Informatica, Lith. Acad. Sci. , vol. 10 , no. 1 , pp. 5 -- 26 , 1999 . T. Uustalu and V. Vene, \"Primitive (co)recursion and course-of-value (co)iteration, categorically,\" Informatica, Lith. Acad. Sci., vol. 10, no. 1, pp. 5--26, 1999.","journal-title":"Informatica, Lith. Acad. Sci."},{"issue":"3","key":"e_1_3_2_1_15_1","first-page":"366","article-title":"Recursion schemes from comonads","volume":"8","author":"Uustalu T.","year":"2001","unstructured":"T. Uustalu , V. Vene , and A. Pardo , \" Recursion schemes from comonads ,\" Nordic J. of Computing , vol. 8 , no. 3 , pp. 366 -- 390 , Sep. 2001 . T. Uustalu, V. Vene, and A. Pardo, \"Recursion schemes from comonads,\" Nordic J. of Computing, vol. 8, no. 3, pp. 366--390, Sep. 2001.","journal-title":"Nordic J. of Computing"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 9th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502488.2502496","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502488.2502496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:36Z","timestamp":1750231716000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502488.2502496"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,28]]},"references-count":15,"alternative-id":["10.1145\/2502488.2502496","10.1145\/2502488"],"URL":"https:\/\/doi.org\/10.1145\/2502488.2502496","relation":{},"subject":[],"published":{"date-parts":[[2013,9,28]]},"assertion":[{"value":"2013-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}