{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:24Z","timestamp":1750307124853,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,18]],"date-time":"2011-09-18T00:00:00Z","timestamp":1316304000000},"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,18]]},"DOI":"10.1145\/2036918.2036927","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T13:50:16Z","timestamp":1316526616000},"page":"59-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["A foundation for GADTs and inductive families"],"prefix":"10.1145","author":[{"given":"Makoto","family":"Hamana","sequence":"first","affiliation":[{"name":"Gunma University, Kiryu, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Fiore","sequence":"additional","affiliation":[{"name":"Computer Laboratory, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,18]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_8"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1227143.1227145"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.017"},{"key":"e_1_3_2_2_4_1","unstructured":"J. Adamek. Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolina 15 (589602) 1974.  J. Adamek. Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carolina 15 (589602) 1974."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863499"},{"key":"e_1_3_2_2_6_1","first-page":"1","volume-title":"Generic Programming","author":"Altenkirch T.","year":"2002"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.33"},{"issue":"4","key":"e_1_3_2_2_8_1","first-page":"265","article-title":"Universes for generic programs and proofs in dependent type theory","volume":"10","author":"Benke M.","year":"2003","journal-title":"Nord. J. Comput."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050047"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003366"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03153-3_2"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863547"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111056"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211308"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.07.001"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00096-9"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_2"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/788021.788948"},{"key":"e_1_3_2_2_19_1","first-page":"210","volume-title":"TYPES'03","author":"Gambino N.","year":"2003"},{"key":"e_1_3_2_2_20_1","unstructured":"N. Gambino and J. Kock. Polynomial functors and polynomial monads. ArXiv:0906.4931 2010.  N. Gambino and J. Kock. Polynomial functors and polynomial monads. ArXiv:0906.4931 2010."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086403"},{"key":"e_1_3_2_2_22_1","first-page":"140","volume-title":"Pitt et al.","author":"Hagino T.","year":"1987"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886619.1886634"},{"key":"e_1_3_2_2_25_1","first-page":"1","volume-title":"Generic Programming, LNCS 2793","author":"Hinze R.","year":"2003"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232637"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"volume-title":"North Holland","year":"1999","author":"Jacobs B.","key":"e_1_3_2_2_28_1"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328475"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680800693X"},{"key":"e_1_3_2_2_32_1","unstructured":"J. Kock. Notes on polynomial functors. Manuscript version 2009-08-05 2009.  J. Kock. Notes on polynomial functors. Manuscript version 2009-08-05 2009."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224223"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"e_1_3_2_2_35_1","unstructured":"S. Mac\n       \n      Lane\n    .\n      \n  \n   \n  Categories for the Working Mathematician volume \n  5\n   of \n  Graduate Texts in Mathematics\n  . \n  Springer-Verlag 1971\n  .  S. Mac Lane. Categories for the Working Mathematician volume 5 of Graduate Texts in Mathematics. Springer-Verlag 1971."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_3"},{"volume-title":"Manuscript","year":"2001","author":"McBride C.","key":"e_1_3_2_2_38_1"},{"volume-title":"University of Edinburgh","year":"1999","author":"McBride C.","key":"e_1_3_2_2_39_1"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652535"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480905"},{"volume-title":"Chalmers University of Technology","year":"2007","author":"Norell U.","key":"e_1_3_2_2_42_1"},{"key":"e_1_3_2_2_43_1","first-page":"230","volume-title":"Advanced Functional Programming","author":"Norell U.","year":"2008"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411213"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165216"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"volume-title":"Jour. Fac. Sci","year":"1960","author":"Yoneda N.","key":"e_1_3_2_2_49_1"}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tokyo Japan","acronym":"ICFP '11"},"container-title":["Proceedings of the seventh ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2036918.2036927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2036918.2036927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:29Z","timestamp":1750240109000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2036918.2036927"}},"subtitle":["dependent polynomial functor approach"],"short-title":[],"issued":{"date-parts":[[2011,9,18]]},"references-count":49,"alternative-id":["10.1145\/2036918.2036927","10.1145\/2036918"],"URL":"https:\/\/doi.org\/10.1145\/2036918.2036927","relation":{},"subject":[],"published":{"date-parts":[[2011,9,18]]},"assertion":[{"value":"2011-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}