{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:00Z","timestamp":1772164020874,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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":[[2009,8,31]]},"DOI":"10.1145\/1596550.1596585","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"233-244","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Generic programming with fixed points for mutually recursive datatypes"],"prefix":"10.1145","author":[{"given":"Alexey Rodriguez","family":"Yakushev","sequence":"first","affiliation":[{"name":"Vector Fabrics B.V., Eindhoven, Netherlands"}]},{"given":"Stefan","family":"Holdermans","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"1","volume-title":"Generic Programming","author":"Altenkirch T.","year":"2003","unstructured":"T. Altenkirch and C. McBride . Generic programming within dependently typed programming . In Generic Programming , pages 1 -- 20 . Kluwer , 2003 . T. Altenkirch and C. McBride. Generic programming within dependently typed programming. In Generic Programming, pages 1--20. Kluwer, 2003."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"issue":"4","key":"e_1_3_2_2_3_1","first-page":"265","article-title":"Universes for generic programs and proofs in dependent type theory","volume":"10","author":"Benke M.","year":"2003","unstructured":"M. Benke , P. Dybjer , and P. Jansson . Universes for generic programs and proofs in dependent type theory . Nordic J. of Comp. , 10 ( 4 ): 265 -- 289 , 2003 . M. Benke, P. Dybjer, and P. Jansson. Universes for generic programs and proofs in dependent type theory. Nordic J. of Comp., 10 (4): 265--289, 2003.","journal-title":"Nordic J. of Comp."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050047"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159834"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00022-2"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325709"},{"key":"e_1_3_2_2_10_1","series-title":"LNCS","first-page":"2","volume-title":"MPC'00","author":"Hinze R.","year":"2000","unstructured":"R. Hinze . Polytypic values possess polykinded types . In MPC'00 , volume 1837 of LNCS , pages 2 -- 27 . Springer , 2000 \\natexlabb. R. Hinze. Polytypic values possess polykinded types. In MPC'00, volume 1837 of LNCS, pages 2--27. Springer, 2000\\natexlabb."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016882"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.07.001"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_15_1","volume-title":"WGP'00","author":"Jansson P.","year":"2000","unstructured":"P. Jansson and J. Jeuring . A framework for polytypic programming on terms, with an application to rewriting . In WGP'00 , 2000 . P. Jansson and J. Jeuring. A framework for polytypic programming on terms, with an application to rewriting. In WGP'00, 2000."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689800313X"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224212"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328475"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770203.1770219"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_3_2_2_22_1","volume-title":"WGP'00","author":"Lammel R.","year":"2000","unstructured":"R. Lammel , J. Visser , and J. Kort . Dealing with large bananas . In WGP'00 , 2000 . R. Lammel, J. Visser, and J. Kort. Dealing with large bananas. In WGP'00, 2000."},{"key":"e_1_3_2_2_23_1","volume-title":"Exploring Generic Haskell. PHD thesis","author":"L\u00f6h A.","year":"2004","unstructured":"A. L\u00f6h . Exploring Generic Haskell. PHD thesis , Utrecht University , 2004 . A. L\u00f6h. Exploring Generic Haskell. PHD thesis, Utrecht University, 2004."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90023-7"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328474"},{"key":"e_1_3_2_2_26_1","volume-title":"The derivative of a regular type is its type of one-hole contexts. strictlypositive.org\/diff.pdf","author":"McBride C.","year":"2001","unstructured":"C. McBride . The derivative of a regular type is its type of one-hole contexts. strictlypositive.org\/diff.pdf , 2001 . C. McBride. The derivative of a regular type is its type of one-hole contexts. strictlypositive.org\/diff.pdf, 2001."},{"key":"e_1_3_2_2_27_1","series-title":"LNCS","first-page":"124","volume-title":"FPCA'91","author":"Meijer E.","year":"1991","unstructured":"E. Meijer , M. Fokkinga , and R. Paterson . Functional programming with bananas, lenses, envelopes, and barbed wire . In FPCA'91 , volume 523 of LNCS , pages 124 -- 144 . Springer , 1991 . E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes, and barbed wire. In FPCA'91, volume 523 of LNCS, pages 124--144. Springer, 1991."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291208"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11617990_16"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27861-0_11"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088358"},{"key":"e_1_3_2_2_34_1","first-page":"199","volume-title":"R. Hinze, and A. L\u00f6h. Extensible and modular generics for the masses","author":"B.","year":"2006","unstructured":"B. C. d. S. Oliveira , R. Hinze, and A. L\u00f6h. Extensible and modular generics for the masses . In H. Nilsson, editor, TFP '06, pages 199 -- 216 , 2006 . B. C. d. S. Oliveira, R. Hinze, and A. L\u00f6h. Extensible and modular generics for the masses. In H. Nilsson, editor, TFP'06, pages 199--216, 2006."},{"key":"e_1_3_2_2_35_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , Cambridge , 2003 . S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, 2003."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165216"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_41_1","series-title":"LNCS","first-page":"150","volume-title":"AFP","author":"Swierstra D.","year":"1999","unstructured":"D. Swierstra , P. Azero , and J. Saraiva . Designing and implementing combinator languages . In AFP , volume 1608 of LNCS , pages 150 -- 206 . Springer , 1999 . D. Swierstra, P. Azero, and J. Saraiva. Designing and implementing combinator languages. In AFP, volume 1608 of LNCS, pages 150--206. Springer, 1999."}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596585","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":39,"alternative-id":["10.1145\/1596550.1596585","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596585","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596585","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}