{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:33Z","timestamp":1750221033206,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,27]],"date-time":"2018-09-27T00:00:00Z","timestamp":1538006400000},"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":[[2018,9,27]]},"DOI":"10.1145\/3240719.3241786","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T12:11:39Z","timestamp":1537272699000},"page":"65-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Sums of products for mutually recursive datatypes: the appropriationist\u2019s view on generic programming"],"prefix":"10.1145","author":[{"given":"Victor Cacciari","family":"Miraldo","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Serrano","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863499"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Thorsten Altenkirch Neil Ghani Peter Hancock Conor McBride and Peter Morris. 2015. Indexed containers. Journal of Functional Programming 25 (2015).  Thorsten Altenkirch Neil Ghani Peter Hancock Conor McBride and Peter Morris. 2015. Indexed containers. Journal of Functional Programming 25 (2015).","DOI":"10.1017\/S095679681500009X"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69937-8_11"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633634"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430532.2364522"},{"key":"e_1_3_2_2_6_1","unstructured":"Richard A. Eisenberg Stephanie Weirich and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Programming Languages and Systems - 25th European Symposium on Programming ESOP 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven The Netherlands April 2-8 2016 Proceedings (Lecture Notes in Computer Science) Peter Thiemann (Ed.) Vol. 9632. Springer 229\u2013254.  Richard A. Eisenberg Stephanie Weirich and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Programming Languages and Systems - 25th European Symposium on Programming ESOP 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven The Netherlands April 2-8 2016 Proceedings (Lecture Notes in Computer Science) Peter Thiemann (Ed.) Vol. 9632. Springer 229\u2013254."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159861.1159863"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.07.001"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036920"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"volume-title":"Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia","year":"2012","author":"Magalh\u00e3es Jos\u00e9 Pedro","key":"e_1_3_2_2_13_1"},{"key":"e_1_3_2_2_14_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_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122975.3122976"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291208"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976013"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"volume-title":"PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings . 83\u201398","year":"2016","author":"Serrano Alejandro","key":"e_1_3_2_2_20_1"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242745"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Tim Sheard and Simon Peyton Jones. 2002. Template metaprogramming for Haskell. 1\u201316. https:\/\/www.microsoft.com\/en-us\/ research\/publication\/template-meta-programming-for-haskell\/  Tim Sheard and Simon Peyton Jones. 2002. Template metaprogramming for Haskell. 1\u201316. https:\/\/www.microsoft.com\/en-us\/ research\/publication\/template-meta-programming-for-haskell\/","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500599"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110275"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034818"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"St. Louis MO USA","acronym":"ICFP '18"},"container-title":["Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240719.3241786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3240719.3241786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:33Z","timestamp":1750207413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240719.3241786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,27]]},"references-count":28,"alternative-id":["10.1145\/3240719.3241786","10.1145\/3240719"],"URL":"https:\/\/doi.org\/10.1145\/3240719.3241786","relation":{},"subject":[],"published":{"date-parts":[[2018,9,27]]},"assertion":[{"value":"2018-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}