{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:07:15Z","timestamp":1767928035512,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T00:00:00Z","timestamp":1409011200000},"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":[[2014,8,26]]},"DOI":"10.1145\/2633628.2633634","type":"proceedings-article","created":{"date-parts":[[2014,8,29]],"date-time":"2014-08-29T13:03:43Z","timestamp":1409317423000},"page":"83-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["True sums of products"],"prefix":"10.1145","author":[{"given":"Edsko","family":"de Vries","sequence":"first","affiliation":[{"name":"Well-Typed LLP, Dublin, Ireland"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Well-Typed LLP, Regensburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364509"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"168","volume-title":"IFL","author":"Alimarine Artem","year":"2001","unstructured":"Artem Alimarine and Rinus Plasmeijer . A generic programming extension for Clean . In IFL , volume 2312 of LNCS , pages 168 -- 185 . Springer , 2001 . Artem Alimarine and Rinus Plasmeijer. A generic programming extension for Clean. In IFL, volume 2312 of LNCS, pages 168--185. Springer, 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782898"},{"key":"e_1_3_2_1_4_1","volume-title":"geniplate: Use Template Haskell to generate Uniplate-like functions","author":"Augustsson Lennart","year":"2011","unstructured":"Lennart Augustsson . geniplate: Use Template Haskell to generate Uniplate-like functions , 2011 . URL http:\/\/hackage.haskell.org\/package\/geniplate. Lennart Augustsson. geniplate: Use Template Haskell to generate Uniplate-like functions, 2011. URL http:\/\/hackage.haskell.org\/package\/geniplate."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036930"},{"issue":"4","key":"e_1_3_2_1_6_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_7_1","volume-title":"Instant generics: Fast and easy","author":"Chakravarty Manuel M. T.","year":"2009","unstructured":"Manuel M. T. Chakravarty , Gabriel C. Ditu , and Roman Leshchinskiy . Instant generics: Fast and easy , 2009 . URL http:\/\/www.cse.unsw.edu.au\/ chak\/papers\/CDL09.html. Manuel M. T. Chakravarty, Gabriel C. Ditu, and Roman Leshchinskiy. Instant generics: Fast and easy, 2009. URL http:\/\/www.cse.unsw.edu.au\/ chak\/papers\/CDL09.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863547"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_10_1","volume-title":"Defunctionalization for the win","author":"Eisenberg Richard A.","year":"2013","unstructured":"Richard A. Eisenberg . Defunctionalization for the win , 2013 . URL http:\/\/typesandkinds.wordpress.com\/2013\/04\/01\/defunctionalization-for-the-win\/. Richard A. Eisenberg. Defunctionalization for the win, 2013. URL http:\/\/typesandkinds.wordpress.com\/2013\/04\/01\/defunctionalization-for-the-win\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364522"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00025-4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596614.1596624"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364394.2364397"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_1_22_1","volume-title":"Generic generic programming","author":"Magalh\u00e3es Jos\u00e9 Pedro","year":"2013","unstructured":"Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h . Generic generic programming , 2013 . URL http:\/\/www.andres-loeh.de\/GenericGenericProgramming\/. Unpublished original draft ofcitetGGP. Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h. Generic generic programming, 2013. URL http:\/\/www.andres-loeh.de\/GenericGenericProgramming\/. Unpublished original draft ofcitetGGP."},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"216","volume-title":"PADL","author":"Magalh\u00e3es Jos\u00e9 Pedro","year":"2014","unstructured":"Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h . Generic generic programming . In PADL , volume 8324 of LNCS , pages 216 -- 231 . Springer , 2014 . Jos\u00e9 Pedro Magalh\u00e3es and Andres L\u00f6h. Generic generic programming. In PADL, volume 8324 of LNCS, pages 216--231. Springer, 2014."},{"key":"e_1_3_2_1_24_1","volume-title":"Bibliopolis","author":"Martin-L\u00f6f Per","year":"1984","unstructured":"Per Martin-L\u00f6f . Intuitionistic type theory . Bibliopolis , 1984 . Per Martin-L\u00f6f. Intuitionistic type theory. Bibliopolis, 1984."},{"key":"e_1_3_2_1_25_1","volume-title":"Ornamental algebras, algebraic ornaments","author":"McBride Conor","year":"2010","unstructured":"Conor McBride . Ornamental algebras, algebraic ornaments . 2010 . Submitted to Journal of Functional Programming . Conor McBride. Ornamental algebras, algebraic ornaments. 2010. Submitted to Journal of Functional Programming."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291208"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000183"},{"key":"e_1_3_2_1_28_1","volume-title":"Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841","author":"O'Connor Russell","year":"2011","unstructured":"Russell O'Connor . Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841 , 2011 . Russell O'Connor. Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_1_30_1","volume-title":"The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming","author":"Sculthorpe Neil","year":"2014","unstructured":"Neil Sculthorpe , Nicolas Frisby , and Andy Gill . The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming , 2014 . URL http:\/\/www.cs.swan.ac.uk\/ csnas\/papers_and_talks\/kure.pdf. Neil Sculthorpe, Nicolas Frisby, and Andy Gill. The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming, 2014. URL http:\/\/www.cs.swan.ac.uk\/ csnas\/papers_and_talks\/kure.pdf."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159844"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633628.2633634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633628.2633634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:11Z","timestamp":1750229771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633628.2633634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,26]]},"references-count":33,"alternative-id":["10.1145\/2633628.2633634","10.1145\/2633628"],"URL":"https:\/\/doi.org\/10.1145\/2633628.2633634","relation":{},"subject":[],"published":{"date-parts":[[2014,8,26]]},"assertion":[{"value":"2014-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}