{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:31Z","timestamp":1750306051906,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"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":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064903","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Portable VM-based implementation Platform for non-strict Functional Programming Languages"],"prefix":"10.1145","author":[{"given":"Jan Martin","family":"Jansen","sequence":"first","affiliation":[{"name":"Netherlands Defence Academy, CA Den Helder, the Netherlands"}]},{"given":"John","family":"van Groningen","sequence":"additional","affiliation":[{"name":"Institute for Computing and Information Sciences, Radboud University Nijmegen, GL Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746329"},{"key":"e_1_3_2_1_2_1","first-page":"76","article-title":"Implementing a non-strict purely functional language in JavaScript","volume":"3","author":"Domoszlai L\u00e1szl\u00f3","year":"2011","unstructured":"L\u00e1szl\u00f3 Domoszlai , Eddy Bru\u00ebl , and Jan Martin Jansen . 2011 . Implementing a non-strict purely functional language in JavaScript . Acta Universitatis Sapientiae 3 (2011), 76 -- 98 . Issue 1. http:\/\/www.acta.sapientia.ro\/acta-info\/C3-1\/info31-4.pdf L\u00e1szl\u00f3 Domoszlai, Eddy Bru\u00ebl, and Jan Martin Jansen. 2011. Implementing a non-strict purely functional language in JavaScript. Acta Universitatis Sapientiae 3 (2011), 76--98. Issue 1. http:\/\/www.acta.sapientia.ro\/acta-info\/C3-1\/info31-4.pdf","journal-title":"Acta Universitatis Sapientiae"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746331"},{"volume-title":"Selected papers of 9th Joint Conference on Mathematics and Computer Science","author":"Domoszlai L\u00e1szl\u00f3","key":"e_1_3_2_1_4_1","unstructured":"L\u00e1szl\u00f3 Domoszlai and Rinus Plasmeijer . 2012. Compiling Haskell to JavaScript through Clean's core . In Selected papers of 9th Joint Conference on Mathematics and Computer Science , Vol. 36 . Annales Univ. Sci . Budapest, Sect. Comp., 117--142. L\u00e1szl\u00f3 Domoszlai and Rinus Plasmeijer. 2012. Compiling Haskell to JavaScript through Clean's core. In Selected papers of 9th Joint Conference on Mathematics and Computer Science, Vol. 36. Annales Univ. Sci. Budapest, Sect. Comp., 117--142."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633367"},{"key":"e_1_3_2_1_7_1","article-title":"The Structure and Performance of Efficient Interpreters","author":"Anton Ertl M.","year":"2003","unstructured":"M. Anton Ertl and David Gregg . 2003 . The Structure and Performance of Efficient Interpreters . Journal of Instruction-Level Parallelism 5 ( November 2003), 1--25. http:\/\/www.jilp.org\/vol5\/v5paper12.pdf M. Anton Ertl and David Gregg. 2003. The Structure and Performance of Efficient Interpreters. Journal of Instruction-Level Parallelism 5 (November 2003), 1--25. http:\/\/www.jilp.org\/vol5\/v5paper12.pdf","journal-title":"Journal of Instruction-Level Parallelism 5"},{"volume-title":"Native Client: Native code for web apps.","year":"2016","key":"e_1_3_2_1_9_1","unstructured":"Google. 2016 . Native Client: Native code for web apps. (2016). https:\/\/developer.chrome.com\/native-client, visited August 2016. Google. 2016. Native Client: Native code for web apps. (2016). https:\/\/developer.chrome.com\/native-client, visited August 2016."},{"key":"e_1_3_2_1_10_1","volume-title":"github.com\/WebAssembly\/design, visited","author":"Webassembly Community Group","year":"2016","unstructured":"Webassembly Community Group . 2016. WebAssembly. ( 2016 ). github.com\/WebAssembly\/design, visited August 2016. Webassembly Community Group. 2016. WebAssembly. (2016). github.com\/WebAssembly\/design, visited August 2016."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273942"},{"key":"e_1_3_2_1_12_1","volume-title":"an extraordinarily optimizable, low-level subset of JavaScript. (2016). asmjs.org, visited","author":"Herman D","year":"2016","unstructured":"D Herman , L Wagner , and Alon Zakai . 2016. ASM.JS : an extraordinarily optimizable, low-level subset of JavaScript. (2016). asmjs.org, visited November 2016 . D Herman, L Wagner, and Alon Zakai. 2016. ASM.JS: an extraordinarily optimizable, low-level subset of JavaScript. (2016). asmjs.org, visited November 2016."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006","author":"Jansen Jan Martin","year":"2006","unstructured":"Jan Martin Jansen , Pieter Koopman , and Rinus Plasmeijer . 2006 . Efficient Interpretation by Transforming Data Types and Patterns to Functions . In Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006 , Nottingham, UK , 19-21 April 2006, The University of Nottingham, H. Nilsson (Ed.). Intellect. Jan Martin Jansen, Pieter Koopman, and Rinus Plasmeijer. 2006. Efficient Interpretation by Transforming Data Types and Patterns to Functions. In Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, 19-21 April 2006, The University of Nottingham, H. Nilsson (Ed.). Intellect."},{"key":"e_1_3_2_1_14_1","unstructured":"Jan Martin Jansen. 2017. The Sapl and JMVM Home Page. (2017). www.nlda-tw.nl\/janmartin\/sapl.  Jan Martin Jansen. 2017. The Sapl and JMVM Home Page. (2017). www.nlda-tw.nl\/janmartin\/sapl."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502880"},{"key":"e_1_3_2_1_17_1","volume-title":"The Java Virtual Machine Specification. (2013). docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/, visited","author":"Lindholm Tim","year":"2016","unstructured":"Tim Lindholm , Frank Yellin , Gilad Bracha , and Alex Buckley . 2013. The Java Virtual Machine Specification. (2013). docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/, visited July 2016 . Tim Lindholm, Frank Yellin, Gilad Bracha, and Alex Buckley. 2013. The Java Virtual Machine Specification. (2013). docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/, visited July 2016."},{"key":"e_1_3_2_1_18_1","volume-title":"GHCJS Haskell to JavaScript compiler. (2015). https:\/github.com\/ghcjs\/ghcjs, visited","author":"Nazarov V","year":"2016","unstructured":"V Nazarov , H Mackenzie , and Stegeman. 2015. GHCJS Haskell to JavaScript compiler. (2015). https:\/github.com\/ghcjs\/ghcjs, visited November 2016 . V Nazarov, H Mackenzie, and Stegeman. 2015. GHCJS Haskell to JavaScript compiler. (2015). https:\/github.com\/ghcjs\/ghcjs, visited November 2016."},{"key":"e_1_3_2_1_19_1","unstructured":"Martin Odersky St\u00e9phane Micheloud Nikolay Mihaylov Michel Schinz Erik Stenman Matthias Zenger and etal 2004. An overview of the Scala programming language. Technical Report.  Martin Odersky St\u00e9phane Micheloud Nikolay Mihaylov Michel Schinz Erik Stenman Matthias Zenger and et al. 2004. An overview of the Scala programming language. Technical Report."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389449.1389457"},{"key":"e_1_3_2_1_23_1","volume-title":"Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming, Jurriaan Hage and Jay McCarthy (Eds.).","author":"Stutterheim Jurri\u00ebn","year":"2014","unstructured":"Jurri\u00ebn Stutterheim , Rinus Plasmeijer , and Peter Achten . 2014 . Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming, Jurriaan Hage and Jay McCarthy (Eds.). Vol. 8843 . Springer Berlin Heidelberg . Jurri\u00ebn Stutterheim, Rinus Plasmeijer, and Peter Achten. 2014. Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming, Jurriaan Hage and Jay McCarthy (Eds.). Vol. 8843. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_24_1","volume-title":"github.com\/Frege\/frege, visited Juli","author":"Wechsung Ingo","year":"2016","unstructured":"Ingo Wechsung . 2016. Frege. ( 2016 ). github.com\/Frege\/frege, visited Juli 2016. Ingo Wechsung. 2016. Frege. (2016). github.com\/Frege\/frege, visited Juli 2016."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","sponsor":["K.U. Leuven K.U. Leuven"],"location":"Leuven Belgium","acronym":"IFL 2016"},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":22,"alternative-id":["10.1145\/3064899.3064903","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064903","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}