{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:14:08Z","timestamp":1725621248316},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,22]],"date-time":"2017-10-22T00:00:00Z","timestamp":1508630400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,22]]},"DOI":"10.1145\/3136000.3136011","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"18-28","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Scala framework for supercompilation"],"prefix":"10.1145","author":[{"given":"Nathaniel","family":"Nystrom","sequence":"first","affiliation":[{"name":"University of Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2017,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863540"},{"key":"e_1_3_2_1_2_1","unstructured":"Olivier Danvy. 2006. An Analytical Approach to Program as Data Objects. (2006). DSc thesis. Olivier Danvy. 2006. An Analytical Approach to Program as Data Objects. (2006). DSc thesis."},{"key":"e_1_3_2_1_3_1","volume-title":"ECMAScript 2017 Language Specification (ECMA-262). (June","author":"ECMA.","year":"2017","unstructured":"ECMA. 2017. ECMAScript 2017 Language Specification (ECMA-262). (June 2017 ). ECMA. 2017. ECMAScript 2017 Language Specification (ECMA-262). (June 2017)."},{"key":"e_1_3_2_1_4_1","unstructured":"Matthias Felleisen and Daniel P Friedman. 1987. Control Operators the SECD-machine and the \u03bb-calculus. In Formal Description of Programming Concepts III. IFIP. Matthias Felleisen and Daniel P Friedman. 1987. Control Operators the SECD-machine and the \u03bb-calculus. In Formal Description of Programming Concepts III. IFIP."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_1_6_1","unstructured":"Dave Gurnell. 2017. The Type Astronaut\u2019s Guide to Shapeless. Underscore Consulting. Dave Gurnell. 2017. The Type Astronaut\u2019s Guide to Shapeless. Underscore Consulting."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032761"},{"volume-title":"Partial evaluation and automatic program generation","author":"Jones Neil D.","key":"e_1_3_2_1_8_1","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . 1993. Partial evaluation and automatic program generation . Prentice-Hall . Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993. Partial evaluation and automatic program generation. Prentice-Hall."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Peter A Jonsson and Johan Nordlander. 2011. Taming Code explosion in Supercompilation. In PEPM\u201911. 33\u201342. Peter A Jonsson and Johan Nordlander. 2011. Taming Code explosion in Supercompilation. In PEPM\u201911. 33\u201342.","DOI":"10.1145\/1929501.1929507"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635904"},{"key":"e_1_3_2_1_12_1","volume-title":"MRSC: A toolkit for building multi-result supercompilers.","author":"Klyuchnikov Ilya","year":"2011","unstructured":"Ilya Klyuchnikov and Sergei Romanenko . 2011 a. MRSC: A toolkit for building multi-result supercompilers. (2011). Ilya Klyuchnikov and Sergei Romanenko. 2011a. MRSC: A toolkit for building multi-result supercompilers. (2011)."},{"key":"e_1_3_2_1_13_1","volume-title":"Ershov Informatics Conference.","author":"Klyuchnikov Ilya","year":"2011","unstructured":"Ilya Klyuchnikov and Sergei Romanenko . 2011 b. Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions . In Ershov Informatics Conference. Ilya Klyuchnikov and Sergei Romanenko. 2011b. Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions. In Ershov Informatics Conference."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863588"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"A. M. Sloane. 2010. Lightweight Language Processing in Kiama and Scala. A. M. Sloane. 2010. Lightweight Language Processing in Kiama and Scala.","DOI":"10.1007\/978-3-642-18023-1_12"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800002008"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/5956.5957"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136000.3136011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T15:34:11Z","timestamp":1673451251000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136000.3136011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,22]]},"references-count":18,"alternative-id":["10.1145\/3136000.3136011","10.1145\/3136000"],"URL":"https:\/\/doi.org\/10.1145\/3136000.3136011","relation":{},"subject":[],"published":{"date-parts":[[2017,10,22]]},"assertion":[{"value":"2017-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}