{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:46:37Z","timestamp":1770284797449,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":29,"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.2502491","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Generic datatypes \u00e0 la carte"],"prefix":"10.1145","author":[{"given":"Steven","family":"Keuchel","sequence":"first","affiliation":[{"name":"Ghent University, Ghent, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"Ghent University, Ghent, Belgium"}],"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.1016\/j.tcs.2005.06.002"},{"key":"e_1_3_2_1_2_1","volume-title":"Workshop on Partiality And Recursion in Interative Theorem Provers (PAR 2010), Satellite Workshop of ITP'10 at FLoC 2010","author":"Abel Andreas","year":"2010","unstructured":"Andreas Abel . Miniagda : Integrating sized and dependent types. In Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors , Workshop on Partiality And Recursion in Interative Theorem Provers (PAR 2010), Satellite Workshop of ITP'10 at FLoC 2010 , 2010 . Andreas Abel. Miniagda: Integrating sized and dependent types. In Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality And Recursion in Interative Theorem Provers (PAR 2010), Satellite Workshop of ITP'10 at FLoC 2010, 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647100.717294"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782898"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.33"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11541868_4"},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"265","article-title":"Universes for generic programs and proofs in dependent type theory","volume":"10","author":"Benke Marcin","year":"2003","unstructured":"Marcin Benke , Peter Dybjer , and Patrik Jansson . Universes for generic programs and proofs in dependent type theory . Nordic J. of Computing , 10 ( 4 ): 265 -- 289 , December 2003 . Marcin Benke, Peter Dybjer, and Patrik Jansson. Universes for generic programs and proofs in dependent type theory. Nordic J. of Computing, 10(4):265--289, December 2003.","journal-title":"Nordic J. of Computing"},{"key":"e_1_3_2_1_8_1","volume-title":"Instant generics: Fast and easy","author":"Chakravarty Manuel MT","year":"2009","unstructured":"Manuel MT Chakravarty , Gabriel C Ditu , and Roman Leshchinskiy . Instant generics: Fast and easy , 2009 . Draft version. Manuel MT Chakravarty, Gabriel C Ditu, and Roman Leshchinskiy. Instant generics: Fast and easy, 2009. Draft version."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086389"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429094"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364394.2364403"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_22"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596571"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036920"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_1_20_1","series-title":"Electronic Proceedings in Theoretical Computer Science","first-page":"50","volume-title":"Proceedings Fourth Workshop on Mathematically Structured Functional Programming","author":"Magalh\u00e4es Jos\u00e9 Pedro","year":"2012","unstructured":"Jos\u00e9 Pedro Magalh\u00e4es and Andres L\u00f6h . A formal comparison of approaches to datatype-generic programming . In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming , Tallinn, Estonia , 25 March 2012 , volume 76 of Electronic Proceedings in Theoretical Computer Science , pages 50 -- 67 . Open Publishing Association , 2012. Jos\u00e9 Pedro Magalh\u00e4es and Andres L\u00f6h. A formal comparison of approaches to datatype-generic programming. In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012, volume 76 of Electronic Proceedings in Theoretical Computer Science, pages 50--67. Open Publishing Association, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291208"},{"key":"e_1_3_2_1_22_1","first-page":"111","volume-title":"Proceedings of the thirteenth Australasian symposium on Theory of computing -","volume":"65","author":"Morris Peter","year":"2007","unstructured":"Peter Morris , Thorsten Altenkirch , and Neil Ghani . Constructing strictly positive families . In Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65 , CATS '07, pages 111 -- 121 , Darlinghurst, Australia, Australia , 2007 . Australian Computer Society, Inc. Peter Morris, Thorsten Altenkirch, and Neil Ghani. Constructing strictly positive families. In Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65, CATS '07, pages 111--121, Darlinghurst, Australia, Australia, 2007. Australian Computer Society, Inc."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11617990_16"},{"key":"e_1_3_2_1_24_1","first-page":"199","article-title":"Extensible and modular generics for the masses","volume":"7","author":"Oliveira Bruno","year":"2006","unstructured":"Bruno CdS Oliveira , Ralf Hinze , and Andres L\u00f6h . Extensible and modular generics for the masses . Trends in Functional Programming , 7 : 199 -- 216 , 2006 . Bruno CdS Oliveira, Ralf Hinze, and Andres L\u00f6h. Extensible and modular generics for the masses. Trends in Functional Programming, 7:199--216, 2006.","journal-title":"Trends in Functional Programming"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428120"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411326"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034818"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"}],"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.2502491","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502488.2502491","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.2502491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,28]]},"references-count":29,"alternative-id":["10.1145\/2502488.2502491","10.1145\/2502488"],"URL":"https:\/\/doi.org\/10.1145\/2502488.2502491","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"}}]}}