{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T14:42:51Z","timestamp":1775486571471,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T00:00:00Z","timestamp":1605571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NWO","award":["628.009.014"],"award-info":[{"award-number":["628.009.014"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,18]]},"DOI":"10.1145\/3426428.3426917","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T04:27:08Z","timestamp":1606278428000},"page":"84-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["A principled approach to REPL interpreters"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8113-2221","authenticated-orcid":false,"given":"L. Thomas","family":"van Binsbergen","sequence":"first","affiliation":[{"name":"CWI, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Verano Merino","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jeanjean","sequence":"additional","affiliation":[{"name":"Inria, France \/ University of Rennes, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"van der Storm","sequence":"additional","affiliation":[{"name":"CWI, Netherlands \/ University of Groningen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[{"name":"University of Rennes, France \/ Inria, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[{"name":"University of Rennes, France \/ Inria, France \/ CNRS, France \/ IRISA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,17]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Appel and Jens Palsberg","author":"Andrew","year":"2003","unstructured":"Andrew W. Appel and Jens Palsberg . 2003 . Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press . Andrew W. Appel and Jens Palsberg. 2003. Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press."},{"key":"e_1_3_2_2_2_1","volume-title":"IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts","author":"Astesiano Egidio","unstructured":"Egidio Astesiano . 1991. Inductive and Operational Semantics . In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts , E.J. Neuhold and M. Paul (Eds.). Springer , 51-136. Egidio Astesiano. 1991. Inductive and Operational Semantics. In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts, E.J. Neuhold and M. Paul (Eds.). Springer, 51-136."},{"key":"e_1_3_2_2_3_1","volume-title":"Mosses","author":"Poulsen Casper Bach","year":"2014","unstructured":"Casper Bach Poulsen and Peter D . Mosses . 2014 . Generating Specialized Interpreters for Modular Structural Operational Semantics. In 23rd International Symposium on Logic-Based Program Synthesis and Transformation. Springer , 220-236. htps:\/\/doi.org\/10.1007\/978-3-319-14125-1_13 10.1007\/978-3-319-14125-1_13 Casper Bach Poulsen and Peter D. Mosses. 2014. Generating Specialized Interpreters for Modular Structural Operational Semantics. In 23rd International Symposium on Logic-Based Program Synthesis and Transformation. Springer, 220-236. htps:\/\/doi.org\/10.1007\/978-3-319-14125-1_13"},{"key":"e_1_3_2_2_4_1","volume-title":"Modular language implementation in Rascal-experience report. Science of Computer Programming 114 ( 2015 ), 7-19. htps:\/\/doi.org\/10.1016\/j.scico","author":"Basten Bas","year":"2015","unstructured":"Bas Basten , Jeroen van den Bos , Mark Hills , Paul Klint , Arnold Lankamp , Bert Lisser , Atze van der Ploeg , Tijs van der Storm , and Jurgen Vinju . 2015. Modular language implementation in Rascal-experience report. Science of Computer Programming 114 ( 2015 ), 7-19. htps:\/\/doi.org\/10.1016\/j.scico . 2015 . 11.003 10.1016\/j.scico Bas Basten, Jeroen van den Bos, Mark Hills, Paul Klint, Arnold Lankamp, Bert Lisser, Atze van der Ploeg, Tijs van der Storm, and Jurgen Vinju. 2015. Modular language implementation in Rascal-experience report. Science of Computer Programming 114 ( 2015 ), 7-19. htps:\/\/doi.org\/10.1016\/j.scico. 2015. 11.003"},{"key":"e_1_3_2_2_5_1","volume-title":"Omniscient debugging for executable DSLs. Journal of Systems and Software 137 ( 2018 ), 261-288. htps:\/\/doi.org\/ 10.1016\/j.jss","author":"Bousse Erwan","year":"2017","unstructured":"Erwan Bousse , Dorian Leroy , Beno\u00eet Combemale , Manuel Wimmer , and Benoit Baudry . 2018. Omniscient debugging for executable DSLs. Journal of Systems and Software 137 ( 2018 ), 261-288. htps:\/\/doi.org\/ 10.1016\/j.jss . 2017 . 11.025 10.1016\/j.jss Erwan Bousse, Dorian Leroy, Beno\u00eet Combemale, Manuel Wimmer, and Benoit Baudry. 2018. Omniscient debugging for executable DSLs. Journal of Systems and Software 137 ( 2018 ), 261-288. htps:\/\/doi.org\/ 10.1016\/j.jss. 2017. 11.025"},{"key":"e_1_3_2_2_6_1","volume-title":"The MiniJava Project. htps:\/\/www.cambridge.org\/us\/features\/052182060X. [Online, accessed","author":"Cangussu Jo\u00e3o","year":"2020","unstructured":"Jo\u00e3o Cangussu , Jens Palsberg , and Vidyut Samanta . 2002. The MiniJava Project. htps:\/\/www.cambridge.org\/us\/features\/052182060X. [Online, accessed 12 October 2020 ]. Jo\u00e3o Cangussu, Jens Palsberg, and Vidyut Samanta. 2002. The MiniJava Project. htps:\/\/www.cambridge.org\/us\/features\/052182060X. [Online, accessed 12 October 2020 ]."},{"key":"e_1_3_2_2_7_1","unstructured":"Peter Deutsch. 1964. PDP-1 LISP. Technical Report. MIT Research Laboratory for Electronics. htp:\/\/www.bitsavers.org\/pdf\/mit\/rle_pdp1\/memos\/Deutsch_PDP-1_LISP.pdf.  Peter Deutsch. 1964. PDP-1 LISP. Technical Report. MIT Research Laboratory for Electronics. htp:\/\/www.bitsavers.org\/pdf\/mit\/rle_pdp1\/memos\/Deutsch_PDP-1_LISP.pdf."},{"key":"e_1_3_2_2_8_1","volume-title":"Proceedings of the 6th International Conference on Software Language Engineering (SLE'13). 197-217. htps:\/\/doi.org\/10.1007\/978-3-319-02654-1_11","author":"Erdweg Sebastian","unstructured":"Sebastian Erdweg , Tijs van der Storm , Markus V\u00f6lter , Meinte Boersma , Remi Bosman , William R. Cook , Albert Gerritsen , Angelo Hulshout , Steven Kelly , Alex Loh , Gabri\u00ebl D. P. Konat , Pedro J. Molina , Martin Palatnik , Risto Pohjonen , Eugen Schindler , Klemens Schindler , Riccardo Solmi , Vlad A. Vergu , Eelco Visser , Kevin van der Vlist , Guido Wachsmuth , and Jimi van der Woning . 2013. The State of the Art in Language Workbenches-Conclusions from the Language Workbench Challenge . In Proceedings of the 6th International Conference on Software Language Engineering (SLE'13). 197-217. htps:\/\/doi.org\/10.1007\/978-3-319-02654-1_11 10.1007\/978-3-319-02654-1_11 Sebastian Erdweg, Tijs van der Storm, Markus V\u00f6lter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabri\u00ebl D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, and Jimi van der Woning. 2013. The State of the Art in Language Workbenches-Conclusions from the Language Workbench Challenge. In Proceedings of the 6th International Conference on Software Language Engineering (SLE'13). 197-217. htps:\/\/doi.org\/10.1007\/978-3-319-02654-1_11"},{"key":"e_1_3_2_2_9_1","first-page":"24","volume-title":"Systems & Structures 44 ( 2015 )","author":"Erdweg Sebastian","year":"2015","unstructured":"Sebastian Erdweg , Tijs van der Storm , Markus Volter , Laurence Tratt , Remi Bosman , William R. Cook , Albert Gerritsen , Angelo Hulshout , Steven Kelly , Alex Loh , Gabriel Konat , Pedro J. Molina , Martin Palatnik , Risto Pohjonen , Eugen Schindler , Klemens Schindler , Riccardo Solmi , Vlad Vergu , Eelco Visser , Kevin van der Vlist , Guido Wachsmuth , and Jimi van der Woning . 2015. Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Computer Languages , Systems & Structures 44 ( 2015 ) , 24 - 47 . htps:\/\/doi.org\/10.1016\/j.cl. 2015 . 08.007 10.1016\/j.cl Sebastian Erdweg, Tijs van der Storm, Markus Volter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriel Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, and Jimi van der Woning. 2015. Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Computer Languages, Systems & Structures 44 ( 2015 ), 24-47. htps:\/\/doi.org\/10.1016\/j.cl. 2015. 08.007"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE'14)","author":"Gouseti Maria","unstructured":"Maria Gouseti , Chiel Peters , and Tijs van der Storm. 2014. Extensible Language Implementation with Object Algebras (Short Paper) . In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE'14) (V\u00e4ster\u00e5s, Sweden). 25-28. htps:\/\/doi.org\/10.1145\/2658761.2658765 10.1145\/2658761.2658765 Maria Gouseti, Chiel Peters, and Tijs van der Storm. 2014. Extensible Language Implementation with Object Algebras (Short Paper). In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE'14) (V\u00e4ster\u00e5s, Sweden). 25-28. htps:\/\/doi.org\/10.1145\/2658761.2658765"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357766.3359540"},{"key":"e_1_3_2_2_13_1","volume-title":"Natural Semantics. In Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science. Springer-Verlag, 22-39","author":"Kahn Gilles","year":"1987","unstructured":"Gilles Kahn . 1987 . Natural Semantics. In Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science. Springer-Verlag, 22-39 . htps:\/\/doi.org\/10.1007\/BFb0039592 10.1007\/BFb0039592 Gilles Kahn. 1987. Natural Semantics. In Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science. Springer-Verlag, 22-39. htps:\/\/doi.org\/10.1007\/BFb0039592"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE Computer Society, 168-177","author":"Klint Paul","year":"2009","unstructured":"Paul Klint , Tijs van der Storm, and Jurgen Vinju. 2009. Rascal: A Domain Specific Language for Source Code Analysis and Manipulation . In Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE Computer Society, 168-177 . htps:\/\/doi.org\/10.1109\/SCAM. 2009 .28 10.1109\/SCAM Paul Klint, Tijs van der Storm, and Jurgen Vinju. 2009. Rascal: A Domain Specific Language for Source Code Analysis and Manipulation. In Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE Computer Society, 168-177. htps:\/\/doi.org\/10.1109\/SCAM. 2009.28"},{"key":"e_1_3_2_2_16_1","first-page":"87","article-title":"Jupyter Notebooks-a publishing format for reproducible computational workflows","author":"Kluyver Thomas","year":"2016","unstructured":"Thomas Kluyver , Benjamin Ragan-Kelley , Fernando P\u00e9rez , Brian Granger , Matthias Bussonnier , Jonathan Frederic , Kyle Kelley , Jessica Hamrick , Jason Grout , Sylvain Corlay , Paul Ivanov , Dami\u00e1n Avila , Safia Abdalla , and Carol Willing . 2016 . Jupyter Notebooks-a publishing format for reproducible computational workflows . In Positioning and Power in Academic Publishing: Players, Agents and Agendas. 87 - 90 . Thomas Kluyver, Benjamin Ragan-Kelley, Fernando P\u00e9rez, Brian Granger, Matthias Bussonnier, Jonathan Frederic, Kyle Kelley, Jessica Hamrick, Jason Grout, Sylvain Corlay, Paul Ivanov, Dami\u00e1n Avila, Safia Abdalla, and Carol Willing. 2016. Jupyter Notebooks-a publishing format for reproducible computational workflows. In Positioning and Power in Academic Publishing: Players, Agents and Agendas. 87-90.","journal-title":"Positioning and Power in Academic Publishing: Players, Agents and Agendas."},{"key":"e_1_3_2_2_17_1","unstructured":"Bil Lewis. 2003. Debugging Backwards in Time. Computing Research Repository cs. SE\/0310016 ( 2003 ). htp:\/\/arxiv.org\/abs\/cs\/0310016  Bil Lewis. 2003. Debugging Backwards in Time. Computing Research Repository cs. SE\/0310016 ( 2003 ). htp:\/\/arxiv.org\/abs\/cs\/0310016"},{"key":"e_1_3_2_2_18_1","volume-title":"Monad Transformers and Modular Interpreters. In 22nd Symposium on Principles of Programming Languages. ACM, 333-343","author":"Liang Sheng","year":"1995","unstructured":"Sheng Liang , Paul Hudak , and Mark Jones . 1995 . Monad Transformers and Modular Interpreters. In 22nd Symposium on Principles of Programming Languages. ACM, 333-343 . htps:\/\/doi.org\/10.1145\/199448. 199528 10.1145\/199448 Sheng Liang, Paul Hudak, and Mark Jones. 1995. Monad Transformers and Modular Interpreters. In 22nd Symposium on Principles of Programming Languages. ACM, 333-343. htps:\/\/doi.org\/10.1145\/199448. 199528"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_25"},{"key":"e_1_3_2_2_20_1","volume-title":"Haskell 2010 Language Report. htps:\/\/www. haskell.org\/onlinereport\/haskell2010\/. [Online, accessed","author":"Marlow Simon","year":"2020","unstructured":"Simon Marlow . 2010. Haskell 2010 Language Report. htps:\/\/www. haskell.org\/onlinereport\/haskell2010\/. [Online, accessed 12 October 2020 ]. Simon Marlow. 2010. Haskell 2010 Language Report. htps:\/\/www. haskell.org\/onlinereport\/haskell2010\/. [Online, accessed 12 October 2020 ]."},{"key":"e_1_3_2_2_21_1","volume-title":"Lisp I programmer's manual","author":"McCarthy J.","year":"1960","unstructured":"J. McCarthy , R. Brayton , D. Edwards , P. Fox , L. Hodes , D. Luckham , K. Maling , and D. Park S. Russell . 1960. Lisp I programmer's manual . Computation Center and Research Laboratory of Electronics (MIT) . htp:\/\/history.siam.org\/sup\/Fox_ 1960 _LISP.pdf. [Online, accessed 12 October 2020 ]. J. McCarthy, R. Brayton, D. Edwards, P. Fox, L. Hodes, D. Luckham, K. Maling, and D. Park S. Russell. 1960. Lisp I programmer's manual. Computation Center and Research Laboratory of Electronics (MIT). htp:\/\/history.siam.org\/sup\/Fox_1960_LISP.pdf. [Online, accessed 12 October 2020 ]."},{"key":"e_1_3_2_2_22_1","article-title":"Bacat\u00e1: Notebooks for DSLs, Almost for Free","volume":"4","author":"Merino Mauricio Verano","year":"2020","unstructured":"Mauricio Verano Merino , Jurgen J. Vinju , and Tijs van der Storm . 2020 . Bacat\u00e1: Notebooks for DSLs, Almost for Free . Programming Journal 4 , 3 ( 2020 ), 11. htps:\/\/doi.org\/10.22152\/programming-journal.org\/ 2020 \/ 4\/11 10.22152\/programming-journal.org Mauricio Verano Merino, Jurgen J. Vinju, and Tijs van der Storm. 2020. Bacat\u00e1: Notebooks for DSLs, Almost for Free. Programming Journal 4, 3 ( 2020 ), 11. htps:\/\/doi.org\/10.22152\/programming-journal.org\/ 2020 \/ 4\/11","journal-title":"Programming Journal"},{"key":"e_1_3_2_2_23_1","volume-title":"Sloane","author":"Mernik Marjan","year":"2005","unstructured":"Marjan Mernik , Jan Heering , and Anthony M . Sloane . 2005 . When and How to Develop Domain-specific Languages. Comput. Surveys 37, 4 ( 2005 ), 316-344. htps:\/\/doi.org\/10.1145\/1118890.1118892 10.1145\/1118890.1118892 Marjan Mernik, Jan Heering, and Anthony M. Sloane. 2005. When and How to Develop Domain-specific Languages. Comput. Surveys 37, 4 ( 2005 ), 316-344. htps:\/\/doi.org\/10.1145\/1118890.1118892"},{"key":"e_1_3_2_2_24_1","volume-title":"The Definition of Standard ML","author":"Milner Robin","unstructured":"Robin Milner , Mads Tofte , and David MacQueen . 1997. The Definition of Standard ML . MIT Press . Robin Milner, Mads Tofte, and David MacQueen. 1997. The Definition of Standard ML. MIT Press."},{"key":"e_1_3_2_2_25_1","unstructured":"Eugenio Moggi. 1991. Notions of Computation and Monads. Information and Computation 93 1 ( 1991 ) 55-92. htps:\/\/doi.org\/10.1016\/ 0890-5401 ( 91 ) 90052-4  Eugenio Moggi. 1991. Notions of Computation and Monads. Information and Computation 93 1 ( 1991 ) 55-92. htps:\/\/doi.org\/10.1016\/ 0890-5401 ( 91 ) 90052-4"},{"key":"e_1_3_2_2_26_1","volume-title":"Modular Structural Operational Semantics. Journal of Logic and Algebraic Programming 60-61 ( 2004 ), 195-228. htps:\/\/doi.org\/10.1016\/j.jlap","author":"Mosses Peter D.","year":"2004","unstructured":"Peter D. Mosses . 2004. Modular Structural Operational Semantics. Journal of Logic and Algebraic Programming 60-61 ( 2004 ), 195-228. htps:\/\/doi.org\/10.1016\/j.jlap . 2004 . 03.008 10.1016\/j.jlap Peter D. Mosses. 2004. Modular Structural Operational Semantics. Journal of Logic and Algebraic Programming 60-61 ( 2004 ), 195-228. htps:\/\/doi.org\/10.1016\/j.jlap. 2004. 03.008"},{"key":"e_1_3_2_2_27_1","volume-title":"d. S. Oliveira and William R. Cook","author":"Bruno","year":"2012","unstructured":"Bruno C. d. S. Oliveira and William R. Cook . 2012 . Extensibility for the Masses-Practical Extensibility with Object Algebras. In ECOOP 2012-Object-Oriented Programming. Springer Berlin Heidelberg , 2-27. Bruno C. d. S. Oliveira and William R. Cook. 2012. Extensibility for the Masses-Practical Extensibility with Object Algebras. In ECOOP 2012-Object-Oriented Programming. Springer Berlin Heidelberg, 2-27."},{"key":"e_1_3_2_2_28_1","volume-title":"Granger","author":"Perez Fernando","year":"2007","unstructured":"Fernando Perez and Brian E . Granger . 2007 . IPython: A System for Interactive Scientific Computing. Computing in Science and Engineering 9, 3 ( 2007 ), 21-29. htps:\/\/doi.org\/10.1109\/ MCSE. 2007.53 Fernando Perez and Brian E. Granger. 2007. IPython: A System for Interactive Scientific Computing. Computing in Science and Engineering 9, 3 ( 2007 ), 21-29. htps:\/\/doi.org\/10.1109\/ MCSE. 2007.53"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331545.3342597"},{"key":"e_1_3_2_2_30_1","volume-title":"DAIMI","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004 . A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61 ( 2004 ), 17-139. htps:\/\/doi.org\/10.1016\/j.jlap. 2004. 05.001 Reprint of Technical Report FN-19 , DAIMI , Aarhus University , 1981. 10.1016\/j.jlap Gordon D. Plotkin. 2004. A Structural Approach to Operational Semantics. Journal of Logic and Algebraic Programming 60-61 ( 2004 ), 17-139. htps:\/\/doi.org\/10.1016\/j.jlap. 2004. 05.001 Reprint of Technical Report FN-19, DAIMI, Aarhus University, 1981."},{"key":"#cr-split#-e_1_3_2_2_31_1.1","doi-asserted-by":"crossref","unstructured":"Guillaume Pothier \u00c9ric Tanter and Jos\u00e9 Piquer. 2007. Scalable omniscient debugging. ACM SIGPLAN Notices 42 10 ( 2007 ) 535-552. htps:\/\/doi.org\/10.1145\/1297105.1297067 10.1145\/1297105.1297067","DOI":"10.1145\/1297105.1297067"},{"key":"#cr-split#-e_1_3_2_2_31_1.2","doi-asserted-by":"crossref","unstructured":"Guillaume Pothier \u00c9ric Tanter and Jos\u00e9 Piquer. 2007. Scalable omniscient debugging. ACM SIGPLAN Notices 42 10 ( 2007 ) 535-552. htps:\/\/doi.org\/10.1145\/1297105.1297067","DOI":"10.1145\/1297105.1297067"},{"key":"e_1_3_2_2_32_1","first-page":"177","volume-title":"The Evolution of Forth. In The Second ACM SIGPLAN Conference on History of Programming Languages","author":"Rather Elizabeth D.","unstructured":"Elizabeth D. Rather , Donald R. Colburn , and Charles H. Moore . 1993 . The Evolution of Forth. In The Second ACM SIGPLAN Conference on History of Programming Languages ( Cambridge, Massachusetts, USA) ( HOPL-II). ACM , 177 - 199 . htps:\/\/doi.org\/10.1145\/154766.155369 10.1145\/154766.155369 Elizabeth D. Rather, Donald R. Colburn, and Charles H. Moore. 1993. The Evolution of Forth. In The Second ACM SIGPLAN Conference on History of Programming Languages (Cambridge, Massachusetts, USA) ( HOPL-II). ACM, 177-199. htps:\/\/doi.org\/10.1145\/154766.155369"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"#cr-split#-e_1_3_2_2_34_1.1","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. 1998. Definitional Interpreters for Higher-Order Programming Languages. Higher-Order and Symbolic Computation 11 4 ( 1998 ) 363-397. htps:\/\/doi.org\/10.1023\/A:1010027404223 10.1023\/A:1010027404223","DOI":"10.1023\/A:1010027404223"},{"key":"#cr-split#-e_1_3_2_2_34_1.2","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. 1998. Definitional Interpreters for Higher-Order Programming Languages. Higher-Order and Symbolic Computation 11 4 ( 1998 ) 363-397. htps:\/\/doi.org\/10.1023\/A:1010027404223","DOI":"10.1023\/A:1010027404223"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. 1998. Definitional Interpreters Revisited. HigherOrder and Symbolic Computation 11 4 ( 1998 ) 355-361. htps:\/\/doi. org\/10.1023\/A:1010075320153  John C. Reynolds. 1998. Definitional Interpreters Revisited. HigherOrder and Symbolic Computation 11 4 ( 1998 ) 355-361. htps:\/\/doi. org\/10.1023\/A:1010075320153","DOI":"10.1023\/A:1010075320153"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373818"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1464052.1464093"},{"key":"e_1_3_2_2_38_1","volume-title":"Advanced Functional Programming","author":"Swierstra S. Doaitse","unstructured":"S. Doaitse Swierstra , Pablo R. Azero Alcocer , and Jo\u00e3o Saraiva . 1999. Designing and implementing combinator languages . In Advanced Functional Programming . Springer Berlin Heidelberg , 150-206. htps: \/\/doi.org\/10.1007\/10704973_4 10.1007\/10704973_4 S. Doaitse Swierstra, Pablo R. Azero Alcocer, and Jo\u00e3o Saraiva. 1999. Designing and implementing combinator languages. In Advanced Functional Programming. Springer Berlin Heidelberg, 150-206. htps: \/\/doi.org\/10.1007\/10704973_4"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662726.2662735"},{"key":"e_1_3_2_2_40_1","unstructured":"Warren Teitelman. 1966. PILOT: A Step Toward Man-Computer Symbiosis. Ph.D. Dissertation. MIT. htp:\/\/hdl.handle. net\/1721.1\/6905  Warren Teitelman. 1966. PILOT: A Step Toward Man-Computer Symbiosis. Ph.D. Dissertation. MIT. htp:\/\/hdl.handle. net\/1721.1\/6905"},{"key":"e_1_3_2_2_41_1","volume-title":"Celebrating the 50th Anniversary of Lisp (Nashville, Tennessee). ACM, Article 5, 5 pages. htps:\/\/doi.org\/10.1145\/1529966.1529971","author":"Teitelman Warren","unstructured":"Warren Teitelman . 2008. History of Interlisp . In Celebrating the 50th Anniversary of Lisp (Nashville, Tennessee). ACM, Article 5, 5 pages. htps:\/\/doi.org\/10.1145\/1529966.1529971 10.1145\/1529966.1529971 Warren Teitelman. 2008. History of Interlisp. In Celebrating the 50th Anniversary of Lisp (Nashville, Tennessee). ACM, Article 5, 5 pages. htps:\/\/doi.org\/10.1145\/1529966.1529971"},{"key":"e_1_3_2_2_42_1","volume-title":"eFLINT implementation on GitLab. htps:\/\/gitlab.com\/calculemus-flint\/eflint-tools\/eflint. [Online, accessed","author":"van Binsbergen L. Thomas","year":"2020","unstructured":"L. Thomas van Binsbergen . 2020. eFLINT implementation on GitLab. htps:\/\/gitlab.com\/calculemus-flint\/eflint-tools\/eflint. [Online, accessed 12 October 2020 ]. L. Thomas van Binsbergen. 2020. eFLINT implementation on GitLab. htps:\/\/gitlab.com\/calculemus-flint\/eflint-tools\/eflint. [Online, accessed 12 October 2020 ]."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426958"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662726.2662736"},{"key":"e_1_3_2_2_45_1","series-title":"Lecture Notes in Computer Science","volume-title":"Forwarding in Attribute Grammars for Modular Language Design","author":"Wyk Eric Van","unstructured":"Eric Van Wyk , Oege de Moor , Kevin Backhouse , and Paul Kwiatkowski . 2002. Forwarding in Attribute Grammars for Modular Language Design . In Compiler Construction, R.Nigel Horspool (Ed.). Lecture Notes in Computer Science , Vol. 2304 . Springer Berlin Heidelberg , 128-142. htps:\/\/doi.org\/10.1007\/3-540-45937-5_11 10.1007\/3-540-45937-5_11 Eric Van Wyk, Oege de Moor, Kevin Backhouse, and Paul Kwiatkowski. 2002. Forwarding in Attribute Grammars for Modular Language Design. In Compiler Construction, R.Nigel Horspool (Ed.). Lecture Notes in Computer Science, Vol. 2304. Springer Berlin Heidelberg, 128-142. htps:\/\/doi.org\/10.1007\/3-540-45937-5_11"},{"key":"e_1_3_2_2_46_1","first-page":"1","article-title":"Algebraic Approaches to Nondeterminism-an","volume":"29","author":"Walicki Micha\u0142","year":"1997","unstructured":"Micha\u0142 Walicki and Sigurd Meldal . 1997 . Algebraic Approaches to Nondeterminism-an Overview. Comput. Surveys 29 , 1 (March 1997 ), 30-81. htps:\/\/doi.org\/10.1145\/248621.248623 10.1145\/248621.248623 Micha\u0142 Walicki and Sigurd Meldal. 1997. Algebraic Approaches to Nondeterminism-an Overview. Comput. Surveys 29, 1 (March 1997 ), 30-81. htps:\/\/doi.org\/10.1145\/248621.248623","journal-title":"Overview. Comput. Surveys"},{"key":"e_1_3_2_2_47_1","volume-title":"The Mathematica Book","author":"Wolfram Stephen","unstructured":"Stephen Wolfram . 1999. The Mathematica Book ( 4 th Edition). Cambridge University Press , USA. Stephen Wolfram. 1999. The Mathematica Book (4th Edition). Cambridge University Press, USA.","edition":"4"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","location":"Virtual USA","acronym":"SPLASH '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426428.3426917","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426428.3426917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426428.3426917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,17]]},"references-count":48,"alternative-id":["10.1145\/3426428.3426917","10.1145\/3426428"],"URL":"https:\/\/doi.org\/10.1145\/3426428.3426917","relation":{},"subject":[],"published":{"date-parts":[[2020,11,17]]},"assertion":[{"value":"2020-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}