{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:48:14Z","timestamp":1770281294764,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T00:00:00Z","timestamp":1596931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/S028129\/1"],"award-info":[{"award-number":["EP\/S028129\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,8,27]]},"DOI":"10.1145\/3406088.3409021","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T04:08:01Z","timestamp":1596168481000},"page":"122-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Staged sums of products"],"prefix":"10.1145","author":[{"given":"Matthew","family":"Pickering","sequence":"first","affiliation":[{"name":"University of Bristol, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Well-Typed LLP, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4161-985X","authenticated-orcid":false,"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364509"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543730"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242748"},{"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","volume-title":"Ahmed","author":"Eisenberg Richard A.","year":"2016","unstructured":"Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Programming Languages and Systems, Peter Thiemann (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 229-254."},{"key":"e_1_3_2_2_7_1","volume-title":"Comparing Approaches to Generic Programming in Haskell","author":"Hinze Ralf","unstructured":"Ralf Hinze, Johan Jeuring, and Andres L\u00f6h. 2007. Comparing Approaches to Generic Programming in Haskell. In Datatype-Generic Programming, Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 72-149."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Jun Inoue and Walid Taha. 2016. Reasoning about multi-stage programs. Journal of Functional Programming 26 ( 2016 ) e22. htps:\/\/doi.org\/10. 1017\/S0956796816000253","DOI":"10.1017\/S0956796816000253"},{"key":"e_1_3_2_2_9_1","volume-title":"Initial Algebra Semantics Is Enough!","author":"Johann Patricia","unstructured":"Patricia Johann and Neil Ghani. 2007. Initial Algebra Semantics Is Enough!. In Typed Lambda Calculi and Applications, Simona Ronchi Della Rocca (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 207-222."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-009-9047-7"},{"key":"e_1_3_2_2_11_1","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones Neil D.","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc., USA."},{"key":"e_1_3_2_2_12_1","volume-title":"The Design and Implementation of BER MetaOCaml","author":"Kiselyov Oleg","unstructured":"Oleg Kiselyov. 2014. The Design and Implementation of BER MetaOCaml. In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing, Cham, 86-102."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236780"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_2_16_1","volume-title":"Implementation and Application of Functional Languages","author":"Magalh\u00e3es Jos\u00e9 Pedro","unstructured":"Jos\u00e9 Pedro Magalh\u00e3es. 2013. Optimisation of Generic Programs Through Inlining. In Implementation and Application of Functional Languages, Ralf Hinze (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 104-121."},{"key":"e_1_3_2_2_17_1","volume-title":"Practical Aspects of Declarative Languages, Matthew Flatt and Hai-Feng Guo (Eds.)","author":"Magalh\u00e3es Jos\u00e9 Pedro","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.). Springer International Publishing, Cham, 216-231."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004331"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_16"},{"key":"e_1_3_2_2_21_1","unstructured":"Matthew Pickering Andres L\u00f6h and Nicolas Wu. 2020. A Specification for Typed Template Haskell. ( 2020 ). htps:\/\/mpickering.github.io\/papers\/ specification-typed-th.pdf"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331545.3342597"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_2_25_1","volume-title":"Simon Peyton Jones, and Dimitrios Vytiniotis","author":"Serrano Alejandro","year":"2020","unstructured":"Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, and Dimitrios Vytiniotis. 2020. A quick look at impredicativity. (January 2020 ). htps:\/\/www.microsoft.com\/en-us\/research\/publication\/a-quicklook-at-impredicativity\/ To Appear ICFP 2020."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/954063"},{"key":"e_1_3_2_2_29_1","volume-title":"To Appear ICFP","author":"Willis Jamie","year":"2020","unstructured":"Jamie Willis, Nicolas Wu, and Matthew Pickering. 2020. Staged Selective Parser Combinators. ( 2020 ). To Appear ICFP 2020."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110273"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236795"}],"event":{"name":"ICFP '20: ACM SIGPLAN International Conference on Functional Programming","location":"Virtual Event USA","acronym":"ICFP '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409021","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3406088.3409021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:52Z","timestamp":1750195912000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,9]]},"references-count":30,"alternative-id":["10.1145\/3406088.3409021","10.1145\/3406088"],"URL":"https:\/\/doi.org\/10.1145\/3406088.3409021","relation":{},"subject":[],"published":{"date-parts":[[2020,8,9]]},"assertion":[{"value":"2020-08-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}