{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:17Z","timestamp":1772164097177,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["612 001 401"],"award-info":[{"award-number":["612 001 401"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,17]]},"DOI":"10.1145\/3242744.3242745","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T08:11:39Z","timestamp":1537258299000},"page":"41-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Generic programming of all kinds"],"prefix":"10.1145","author":[{"given":"Alejandro","family":"Serrano","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor Cacciari","family":"Miraldo","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76786-2_4"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647849.737066"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9219-0"},{"key":"e_1_3_2_2_4_1","volume-title":"Nested Datatypes. In Proceedings of the Mathematics of Program Construction (MPC '98)","author":"Richard"},{"key":"e_1_3_2_2_5_1","volume-title":"Deriving Via. In Proceedings of the 11th ACM Haskell Symposium (Haskell '18)","author":"Bl\u00f6ndal Baldur","year":"2018"},{"key":"e_1_3_2_2_6_1","unstructured":"Max Bolingbroke. 2011. Constraint Kinds for GHC. http:\/\/blog.omega-prime.co.uk\/?p=127 Blog post.  Max Bolingbroke. 2011. Constraint Kinds for GHC. http:\/\/blog.omega-prime.co.uk\/?p=127 Blog post."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122967"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633634"},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of the 2012 Haskell Symposium (Haskell '12)","author":"Richard"},{"key":"e_1_3_2_2_10_1","volume-title":"Visible Type Application. In 25th European Symposium on Programming, ESOP","author":"Eisenberg Richard A.","year":"2016"},{"key":"e_1_3_2_2_11_1","unstructured":"Jean-Yves Girard. 1972. Interpretation fonctionnelle et elimination des coupures de l'arithmetique d'ordre superieur. Ph.D. Dissertation.  Jean-Yves Girard. 1972. Interpretation fonctionnelle et elimination des coupures de l'arithmetique d'ordre superieur . Ph.D. Dissertation."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325709"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","volume-title":"Mathematics of Program Construction","author":"Hinze Ralf","DOI":"10.1007\/978-3-319-19797-5"},{"key":"e_1_3_2_2_14_1","volume-title":"Generic Haskell: Applications","author":"Hinze Ralf","year":"2003"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596614.1596624"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036924"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.76.6"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h. 2014. Generic Generic Programming. In Practical Aspects of Declarative Languages Matthew Flatt and Hai-Feng Guo (Eds.).   Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h. 2014. Generic Generic Programming. In Practical Aspects of Declarative Languages Matthew Flatt and Hai-Feng Guo (Eds.).","DOI":"10.1007\/978-3-319-04132-2_15"},{"key":"e_1_3_2_2_21_1","unstructured":"Simon Marlow et al. 2010. Haskell 2010 Language Report. https:\/\/www.haskell.org\/onlinereport\/haskell2010\/.  Simon Marlow et al. 2010. Haskell 2010 Language Report. https:\/\/www.haskell.org\/onlinereport\/haskell2010\/."},{"key":"e_1_3_2_2_22_1","unstructured":"Conor McBride. 2013. Dependently typed metaprogramming (in Agda) Lecture Notes.  Conor McBride. 2013. Dependently typed metaprogramming (in Agda) Lecture Notes."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122975.3122976"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 3nd ACM SIGPLAN Workshop on Type-Driven Development (TyDe","author":"Miraldo Victor Cacciari","year":"2018"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291208"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"key":"e_1_3_2_2_27_1","volume-title":"A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday.","author":"Jones Simon Peyton"},{"key":"e_1_3_2_2_28_1","volume-title":"Proceedings of the First ACM SIGPLAN Symposium on Haskell (Haskell '08)","author":"Rodriguez Alexey"},{"key":"e_1_3_2_2_29_1","unstructured":"Ryan Scott. 2018. How to derive Generic for (some) GADTs using Quantified Constraints. Blog post available at https:\/\/ryanglscott.github.io\/2018\/02\/11\/how-to-derive-generic-for-some-gadts\/.  Ryan Scott. 2018. How to derive Generic for (some) GADTs using Quantified Constraints. Blog post available at https:\/\/ryanglscott.github.io\/2018\/02\/11\/how-to-derive-generic-for-some-gadts\/."},{"key":"e_1_3_2_2_30_1","volume-title":"PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings.","author":"Serrano Alejandro","year":"2016"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"crossref","unstructured":"Tim Sheard and Simon Peyton Jones. 2002. Template metaprogramming for Haskell. https:\/\/www.microsoft.com\/en-us\/research\/publication\/template-meta-programming-for-haskell\/   Tim Sheard and Simon Peyton Jones. 2002. Template metaprogramming for Haskell. https:\/\/www.microsoft.com\/en-us\/research\/publication\/template-meta-programming-for-haskell\/","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707790.1707799"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500599"},{"key":"e_1_3_2_2_34_1","volume-title":"Proc. ACM Program. Lang. 1, ICFP (Aug.","author":"Weirich Stephanie","year":"2017"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Thomas Winant Dominique Devriese Frank Piessens and Tom Schrijvers. 2014. Partial Type Signatures for Haskell. In Practical Aspects of Declarative Languages Matthew Flatt and Hai-Feng Guo (Eds.).   Thomas Winant Dominique Devriese Frank Piessens and Tom Schrijvers. 2014. Partial Type Signatures for Haskell. In Practical Aspects of Declarative Languages Matthew Flatt and Hai-Feng Guo (Eds.).","DOI":"10.1007\/978-3-319-04132-2_2"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","location":"St. Louis MO USA","acronym":"ICFP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242745","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:22Z","timestamp":1750193842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":38,"alternative-id":["10.1145\/3242744.3242745","10.1145\/3242744"],"URL":"https:\/\/doi.org\/10.1145\/3242744.3242745","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299711.3242745","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}