{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T08:56:14Z","timestamp":1781859374210,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,14]],"date-time":"2015-01-14T00:00:00Z","timestamp":1421193600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/J010995\/1"],"award-info":[{"award-number":["EP\/J010995\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,14]]},"DOI":"10.1145\/2676726.2676989","type":"proceedings-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T08:51:05Z","timestamp":1418979065000},"page":"527-538","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Conjugate Hylomorphisms -- Or"],"prefix":"10.1145","author":[{"given":"Ralf","family":"Hinze","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,1,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2007028"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9056-z"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/648334.755716"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/248932"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050047"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.08.005"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80305-6"},{"issue":"4","key":"e_1_3_2_2_8_1","first-page":"81","article-title":"Tupling and mutumorphisms","volume":"1","author":"Fokkinga M. M.","year":"1990","unstructured":"M. M. Fokkinga, \"Tupling and mutumorphisms,\" The Squiggolist, vol. 1, no. 4, pp. 81--82, Jun. 1990.","journal-title":"The Squiggolist"},{"key":"e_1_3_2_2_9_1","first-page":"95","volume-title":"ser. Lect. Notes Math","author":"Freyd P.","year":"1991","unstructured":"P. Freyd, \"Algebraically complete categories,\" in Category Theory, ser. Lect. Notes Math. Springer, 1991, vol. 1488, pp. 95--104."},{"key":"e_1_3_2_2_10_1","volume-title":"dissertation","author":"Hagino T.","year":"1987","unstructured":"T. Hagino, \"Category theoretic approach to data types,\" Ph.D. dissertation, University of Edinburgh, 1987."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.011"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502488.2502496"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500578"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1243380.1243382"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232637"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_15"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0131451-0"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"e_1_3_2_2_19_1","volume-title":"Categories for the Working Mathematician","author":"Lane S. Mac","year":"1998","unstructured":"S. Mac Lane, Categories for the Working Mathematician, 2nd ed., ser. Graduate Texts in Mathematics. Springer, 1998.","edition":"2"},{"key":"e_1_3_2_2_20_1","volume-title":"dissertation","author":"Malcolm G.","year":"1990","unstructured":"G. Malcolm, \"Algebraic data types and program transformation,\" Ph.D. dissertation, University of Groningen, 1990."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211391"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.05.003"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(74)90032-2"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647100.717288"},{"key":"e_1_3_2_2_27_1","volume-title":"Practical Foundations of Mathematics, ser. Cambridge Studies in Adv. Math","author":"Taylor P.","year":"1999","unstructured":"P. Taylor, Practical Foundations of Mathematics, ser. Cambridge Studies in Adv. Math. Cambridge University Press, 1999, no. 59."},{"key":"e_1_3_2_2_28_1","first-page":"69","article-title":"Coding recursion \u00e0 la Mendler","author":"Uustalu T.","year":"2000","unstructured":"T. Uustalu and V. Vene, \"Coding recursion \u00e0 la Mendler,\" in Workshop on Generic Program., Jul. 2000, pp. 69--85.","journal-title":"Workshop on Generic Program."},{"issue":"1","key":"e_1_3_2_2_29_1","first-page":"5","article-title":"Primitive (co)recursion and course-of-value (co)iteration, categorically","volume":"10","author":"Uustalu T.","year":"1999","unstructured":"----, \"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."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.020"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/766517.766523"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.3176\/phys.math.1998.3.01"}],"event":{"name":"POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Mumbai India","acronym":"POPL '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676726.2676989","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2676726.2676989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T08:36:29Z","timestamp":1781858189000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676726.2676989"}},"subtitle":["The Mother of All Structured Recursion Schemes"],"short-title":[],"issued":{"date-parts":[[2015,1,14]]},"references-count":32,"alternative-id":["10.1145\/2676726.2676989","10.1145\/2676726"],"URL":"https:\/\/doi.org\/10.1145\/2676726.2676989","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775051.2676989","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,1,14]]},"assertion":[{"value":"2015-01-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}