{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:21Z","timestamp":1750306521381,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"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,9,3]]},"DOI":"10.1145\/2636228.2636231","type":"proceedings-article","created":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T19:09:15Z","timestamp":1409944155000},"page":"43-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Defunctionalizing push arrays"],"prefix":"10.1145","author":[{"given":"Bo Joel","family":"Svensson","sequence":"first","affiliation":[{"name":"Indiana University, Bloomington, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josef","family":"Svenningsson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888254"},{"key":"e_1_3_2_1_2_1","volume-title":"Department of Computer Science","author":"Ager M. S.","year":"2003","unstructured":"M. S. Ager , D. Biernacki , O. Danvy , and J. Midtgaard . From interpreter to compiler and virtual machine: a functional derivation. BRICS , Department of Computer Science , University of Aarhus , 2003 . M. S. Ager, D. Biernacki, O. Danvy, and J. Midtgaard. From interpreter to compiler and virtual machine: a functional derivation. BRICS, Department of Computer Science, University of Aarhus, 2003."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.02.012"},{"key":"e_1_3_2_1_4_1","volume-title":"Univ.","author":"Ager M. S.","year":"2004","unstructured":"M. S. Ager , O. Danvy , and J. Midtgaard . A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. BRICS, Department of Computer Science , Univ. , 2004 . M. S. Ager, O. Danvy, and J. Midtgaard. A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. BRICS, Department of Computer Science, Univ., 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503789"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050135.2050143"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258953"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.028"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-25938-1_13","volume-title":"Logic Based Program Synthesis and Transformation","author":"Biernacki D.","year":"2004","unstructured":"D. Biernacki and O. Danvy . From interpreter to logic engine by defunctionalization . In M. Bruynooghe, editor, Logic Based Program Synthesis and Transformation , volume 3018 of Lecture Notes in Computer Science , pages 143 -- 159 . Springer Berlin Heidelberg , 2004 . ISBN 978-3-540-22174-6. . URL http:\/\/dx.doi.org\/10.1007\/ 978-3-540-25938-1_13. D. Biernacki and O. Danvy. From interpreter to logic engine by defunctionalization. In M. Bruynooghe, editor, Logic Based Program Synthesis and Transformation, volume 3018 of Lecture Notes in Computer Science, pages 143--159. Springer Berlin Heidelberg, 2004. ISBN 978-3-540-22174-6. . URL http:\/\/dx.doi.org\/10.1007\/ 978-3-540-25938-1_13."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411206"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773202"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773202"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_18"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004574"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004763"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034682"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90059-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863582"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505355"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034684"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964009"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-642-40447-4_2","volume-title":"H.-W","author":"Svenningsson J.","year":"2013","unstructured":"J. Svenningsson and E. Axelsson . Combining Deep and Shallow Embedding for EDSL . In H.-W . Loidl and R. Pea, editors, Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science , pages 21 -- 36 . Springer Berlin Heidelberg , 2013 . . URL http:\/\/dx.doi.org\/10.1007\/978-3-642-40447-4_2. 10.1007\/978-3-642-40447-4_2 J. Svenningsson and E. Axelsson. Combining Deep and Shallow Embedding for EDSL. In H.-W. Loidl and R. Pea, editors, Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pages 21--36. Springer Berlin Heidelberg, 2013. . URL http:\/\/dx.doi.org\/10.1007\/978-3-642-40447-4_2."}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Gothenburg Sweden","acronym":"ICFP'14"},"container-title":["Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2636228.2636231","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2636228.2636231","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:11:58Z","timestamp":1750227118000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2636228.2636231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":24,"alternative-id":["10.1145\/2636228.2636231","10.1145\/2636228"],"URL":"https:\/\/doi.org\/10.1145\/2636228.2636231","relation":{},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}