{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:29Z","timestamp":1750220429950,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"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":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412941","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Lazy interworking of compiled and interpreted code for sandboxing and distributed systems"],"prefix":"10.1145","author":[{"given":"Camil","family":"Staps","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"John","family":"van Groningen","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680000126X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000055"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746329"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500070109"},{"key":"e_1_3_2_1_7_1","volume-title":"Simon Peyton Jones, and Arnaud Spiwack","author":"Bernardy Jean-Philippe","year":"2018","unstructured":"Jean-Philippe Bernardy , Mathieu Boespflug , Ryan R. Newton , Simon Peyton Jones, and Arnaud Spiwack . 2018 . Linear Haskell : Practical Linearity in a Higher-Order Polymorphic Language. 2 (2018). Issue POPL. Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, and Arnaud Spiwack. 2018. Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language. 2 (2018). Issue POPL."},{"volume-title":"Implementation and Application of Functional Languages. 22nd International Symposium, IFL 2010 (Lecture Notes in Computer Science), Jurriaan Hage and Marco T","author":"Berthold Jost","key":"e_1_3_2_1_8_1","unstructured":"Jost Berthold . 2011. Orthogonal Serialisation for Haskell . In Implementation and Application of Functional Languages. 22nd International Symposium, IFL 2010 (Lecture Notes in Computer Science), Jurriaan Hage and Marco T . Moraz\u00e1n (Eds.). Springer , Heidelberg , 38--53. Jost Berthold. 2011. Orthogonal Serialisation for Haskell. In Implementation and Application of Functional Languages. 22nd International Symposium, IFL 2010 (Lecture Notes in Computer Science), Jurriaan Hage and Marco T. Moraz\u00e1n (Eds.). Springer, Heidelberg, 38--53."},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved June 15th","author":"Bushell David","year":"2019","unstructured":"David Bushell and Ramiro Rikkert . [n.d.]. Pikaday\/Pikaday : A refreshing JavaScript Datepicker. https:\/\/github.com\/Pikaday\/Pikaday . Retrieved June 15th , 2019 . David Bushell and Ramiro Rikkert. [n.d.]. Pikaday\/Pikaday: A refreshing JavaScript Datepicker. https:\/\/github.com\/Pikaday\/Pikaday. Retrieved June 15th, 2019."},{"key":"e_1_3_2_1_10_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. 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.","journal-title":"Acta Universitatis Sapientiae"},{"volume-title":"Computer Aided Systems Theory --- EUROCAST 2001 (Lecture Notes in Computer Science), Roberto Moreno-D\u00edaz, Bruno Buchberger, and Jos\u00e9-Luis Freire (Eds.)","author":"Du Bois Andr\u00e9 Rauber","key":"e_1_3_2_1_11_1","unstructured":"Andr\u00e9 Rauber Du Bois and Ant\u00f4nio Carlos Da Rocha Costa . 2001. Distributed Execution of Functional Programs Using the JVM . In Computer Aided Systems Theory --- EUROCAST 2001 (Lecture Notes in Computer Science), Roberto Moreno-D\u00edaz, Bruno Buchberger, and Jos\u00e9-Luis Freire (Eds.) . Springer , Heidelberg . Andr\u00e9 Rauber Du Bois and Ant\u00f4nio Carlos Da Rocha Costa. 2001. Distributed Execution of Functional Programs Using the JVM. In Computer Aided Systems Theory --- EUROCAST 2001 (Lecture Notes in Computer Science), Roberto Moreno-D\u00edaz, Bruno Buchberger, and Jos\u00e9-Luis Freire (Eds.). Springer, Heidelberg."},{"key":"e_1_3_2_1_12_1","volume-title":"Towards Haskell in the Cloud. In Haskell '11: Proceedings of the 4th ACM symposium on Haskell. ACM","author":"Epstein Jeff","year":"2011","unstructured":"Jeff Epstein , Andrew P. Black , and Simon Peyton-Jones . 2011 . Towards Haskell in the Cloud. In Haskell '11: Proceedings of the 4th ACM symposium on Haskell. ACM , New York, 118--129. Jeff Epstein, Andrew P. Black, and Simon Peyton-Jones. 2011. Towards Haskell in the Cloud. In Haskell '11: Proceedings of the 4th ACM symposium on Haskell. ACM, New York, 118--129."},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"The Structure and Performance of Efficient Interpreters","volume":"3","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 3 (2003), 1 -- 25 . M. Anton Ertl and David Gregg. 2003. The Structure and Performance of Efficient Interpreters. Journal of Instruction-Level Parallelism 3 (2003), 1--25.","journal-title":"Journal of Instruction-Level Parallelism"},{"volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017. ACM","author":"Haas Andreas","key":"e_1_3_2_1_14_1","unstructured":"Andreas Haas , Andreas Rossberg , Derek L Schuff , Ben L Titzer , Michael Holman , Dan Gohman , Luke Wagner , Alon Zakai , and J. F. Bastien . 2017. Bringing the Web up to Speed with WebAssembly . In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017. ACM , New York, 185--200. Andreas Haas, Andreas Rossberg, Derek L Schuff, Ben L Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and J. F. Bastien. 2017. Bringing the Web up to Speed with WebAssembly. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2017. ACM, New York, 185--200."},{"volume-title":"FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture. ACM","author":"Pieter","key":"e_1_3_2_1_15_1","unstructured":"Pieter H. Hartel and Koen G. Langendoen. 1993. Benchmarking implementations of lazy functional languages . In FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture. ACM , New York, 341--349. Pieter H. Hartel and Koen G. Langendoen. 1993. Benchmarking implementations of lazy functional languages. In FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture. ACM, New York, 341--349."},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieved June 15th","author":"Tweag","year":"2019","unstructured":"Tweag I\/O. [n.d.]. WebAssembly as a Haskell compilation target - Asterius. https:\/\/tweag.github.io\/asterius\/webassembly\/ . Retrieved June 15th , 2019 . Tweag I\/O. [n.d.]. WebAssembly as a Haskell compilation target - Asterius. https:\/\/tweag.github.io\/asterius\/webassembly\/. Retrieved June 15th, 2019."},{"key":"e_1_3_2_1_17_1","volume-title":"Henrik Nilsson (Ed.)","volume":"7","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 Trends in Functional Programming , Henrik Nilsson (Ed.) , Vol. 7 . 73--90. Jan Martin Jansen, Pieter Koopman, and Rinus Plasmeijer. 2006. Efficient interpretation by transforming data types and patterns to functions. In Trends in Functional Programming, Henrik Nilsson (Ed.), Vol. 7. 73--90."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205375"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45788-7_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63237-9_28"},{"volume-title":"Implementation of Functional Languages. 10th International Workshop, IFL '98 (Lecture Notes in Computer Science)","author":"Pil Marco","key":"e_1_3_2_1_23_1","unstructured":"Marco Pil . 1998. Dynamic Types and Type Dependent Functions . In Implementation of Functional Languages. 10th International Workshop, IFL '98 (Lecture Notes in Computer Science) , Kevin Hammond, Tony Davie, and Chris Clack (Eds.). Springer , Heidelberg , 169--185. Marco Pil. 1998. Dynamic Types and Type Dependent Functions. In Implementation of Functional Languages. 10th International Workshop, IFL '98 (Lecture Notes in Computer Science), Kevin Hammond, Tony Davie, and Chris Clack (Eds.). Springer, Heidelberg, 169--185."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370801"},{"key":"e_1_3_2_1_26_1","unstructured":"Rinus Plasmeijer Marko van Eekelen and John van Groningen. 2011. Clean 2.2 Language Report. http:\/\/clean.cs.ru.nl\/download\/doc\/CleanLangRep.2.2.pdf  Rinus Plasmeijer Marko van Eekelen and John van Groningen. 2011. Clean 2.2 Language Report. http:\/\/clean.cs.ru.nl\/download\/doc\/CleanLangRep.2.2.pdf"},{"key":"e_1_3_2_1_27_1","volume-title":"Retrieved June 15th","author":"Andreas Rossberg","year":"2019","unstructured":"Andreas Rossberg (champion). [n.d.]. GC Proposal for WebAssembly. https:\/\/github.com\/WebAssembly\/gc\/ . Retrieved June 15th , 2019 . Andreas Rossberg (champion). [n.d.]. GC Proposal for WebAssembly. https:\/\/github.com\/WebAssembly\/gc\/. Retrieved June 15th, 2019."},{"key":"e_1_3_2_1_28_1","volume-title":"Retrieved June 15th","author":"Staps Camil","year":"2016","unstructured":"Camil Staps and Mart Lubbers . 2016 --2019. Cloogle: a search engine for the Clean programming language. https:\/\/cloogle.org . Retrieved June 15th , 2019. Camil Staps and Mart Lubbers. 2016--2019. Cloogle: a search engine for the Clean programming language. https:\/\/cloogle.org. Retrieved June 15th, 2019."},{"key":"e_1_3_2_1_29_1","volume-title":"WeakReferences TC39 proposal. https:\/\/github.com\/tc39\/proposal-weakrefs. Retrieved June 15th","author":"Tribble Dean","year":"2019","unstructured":"Dean Tribble , Mark Miller , and Till Schneidereit (champions). [n.d.]. WeakReferences TC39 proposal. https:\/\/github.com\/tc39\/proposal-weakrefs. Retrieved June 15th , 2019 . Dean Tribble, Mark Miller, and Till Schneidereit (champions). [n.d.]. WeakReferences TC39 proposal. https:\/\/github.com\/tc39\/proposal-weakrefs. Retrieved June 15th, 2019."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2017.02.002"},{"volume-title":"Implementing the ABC-machine on MC680x0 based architectures. Master's thesis","author":"van Groningen John","key":"e_1_3_2_1_31_1","unstructured":"John van Groningen . 1990. Implementing the ABC-machine on MC680x0 based architectures. Master's thesis . University of Nijmegen. John van Groningen. 1990. Implementing the ABC-machine on MC680x0 based architectures. Master's thesis. University of Nijmegen."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412941","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412941"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":29,"alternative-id":["10.1145\/3412932.3412941","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412941","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}