A. W. Appel and J. Palsberg, Modern Compiler Implementation in Java, 2003.

E. Astesiano, In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts, pp.51-136, 1991.

C. Bach-poulsen, D. Peter, and . Mosses, Generating Specialized Interpreters for Modular Structural Operational Semantics, 23rd International Symposium on Logic-Based Program Synthesis and Transformation, pp.220-236, 2014.

B. Basten, J. Van-den, M. Bos, P. Hills, A. Klint et al., Modular language implementation in Rascalexperience report, Science of Computer Programming, vol.114, pp.7-19, 2015.

E. Bousse, D. Leroy, B. Combemale, M. Wimmer, and B. Baudry, Omniscient debugging for executable DSLs, Journal of Systems and Software, vol.137, pp.261-288, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01662336

J. Cangussu, J. Palsberg, and V. Samanta, The MiniJava Project, p.12, 2002.

P. Deutsch, PDP-1 LISP, 1964.

S. Erdweg, T. Van-der, M. Storm, M. Völter, R. Boersma et al., The State of the Art in Language Workbenches -Conclusions from the Language Workbench Challenge, Proceedings of the 6th International Conference on Software Language Engineering (SLE'13, pp.197-217, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923386

S. Erdweg, T. Van-der, M. Storm, L. Volter, R. Tratt et al., Evaluating and comparing language workbenches: Existing results and benchmarks for the future, Systems & Structures, vol.44, pp.24-47, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01261481

J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, Initial Algebra Semantics and Continuous Algebras, J. ACM, vol.24, pp.68-95, 1977.

M. Gouseti, C. Peters, T. Van-der, and . Storm, Extensible Language Implementation with Object Algebras (Short Paper), Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE'14, pp.25-28, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01110872

P. Jeanjean, O. Benoit-combemale, and . Barais, From DSL Specification to Interactive Computer Programming Environment, Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE'19, pp.167-178, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02307953

G. Kahn, Natural Semantics, Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science, pp.22-39, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075953

C. Kyo, S. G. Kang, J. A. Cohen, W. E. Hess, A. Novak et al., Feature-oriented domain analysis (FODA) feasibility study, 1990.

P. Klint, T. Van-der, J. Storm, and . Vinju, Rascal: A Domain Specific Language for Source Code Analysis and Manipulation, Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009.

T. Kluyver, B. Ragan-kelley, F. Pérez, B. Granger, M. Bussonnier et al., Jupyter Notebooks -a publishing format for reproducible computational workflows, Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp.87-90, 2016.

B. Lewis, Debugging Backwards in Time, 2003.

S. Liang, P. Hudak, and M. Jones, Monad Transformers and Modular Interpreters, 22nd Symposium on Principles of Programming Languages, pp.333-343, 1995.

A. Lienhard, T. Gîrba, and O. Nierstrasz, Practical object-oriented back-in-time debugging, European Conference on Object-Oriented Programming, pp.592-615, 2008.

S. Marlow, , p.12, 2010.

J. Mccarthy, R. Brayton, D. Edwards, P. Fox, L. Hodes et al., Lisp I programmer's manual, 1960.

M. Verano-merino, J. J. Vinju, T. Van-der, and . Storm, Bacatá: Notebooks for DSLs, Almost for Free. Programming Journal, vol.4, p.11, 2020.

M. Mernik, J. Heering, and A. M. Sloane, When and How to Develop Domain-specific Languages, Comput. Surveys, vol.37, pp.316-344, 2005.

R. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1997.

E. Moggi, Notions of Computation and Monads. Information and Computation, vol.93, pp.90052-90056, 1991.

D. Peter and . Mosses, Modular Structural Operational Semantics, Journal of Logic and Algebraic Programming, vol.60, pp.195-228, 2004.

C. D. Bruno, W. R. Oliveira, and . Cook, Extensibility for the Masses -Practical Extensibility with Object Algebras, ECOOP 2012 -Object-Oriented Programming, pp.2-27, 2012.

F. Perez and B. E. Granger, IPython: A System for Interactive Scientific Computing, Computing in Science and Engineering, vol.9, pp.21-29, 2007.

M. Pickering, N. Wu, and C. Kiss, Multi-stage programs in context, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, pp.71-84, 2019.

D. Gordon and . Plotkin, A Structural Approach to Operational Semantics, Journal of Logic and Algebraic Programming, vol.60, pp.17-139, 1981.

G. Pothier, É. Tanter, and J. Piquer, Scalable omniscient debugging, ACM SIGPLAN Notices, vol.42, pp.535-552, 2007.

E. D. Rather, D. R. Colburn, and C. H. Moore, The Evolution of Forth, The Second ACM SIGPLAN Conference on History of Programming Languages, pp.177-199, 1993.

J. C. Reynolds, Definitional Interpreters for Higher-Order Programming Languages, Proceedings of the ACM Annual Conference, vol.2, pp.717-740, 1972.

C. John and . Reynolds, Definitional Interpreters for Higher-Order Programming Languages, Higher-Order and Symbolic Computation, vol.11, pp.363-397, 1998.

C. John and . Reynolds, Definitional Interpreters Revisited. Higher-Order and Symbolic Computation, vol.11, pp.355-361, 1998.

A. Rouvoet, C. Bach-poulsen, R. Krebbers, and E. Visser, Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP'20, pp.284-298, 2020.

J. C. Shaw, JOSS: A designer's view of an experimental on-line computing system, Fall Joint Computer Conference, vol.26, pp.455-464, 1964.

S. D. Swierstra, P. R. Azero-alcocer, and J. Saraiva, Designing and implementing combinator languages, Advanced Functional Programming, pp.150-206, 1999.

L. Steven and . Tanimoto, A perspective on the evolution of live programming, 1st International Workshop on Live Programming (LIVE'13), pp.31-34, 2013.

W. Teitelman, PILOT: A Step Toward Man-Computer Symbiosis, Ph.D. Dissertation. MIT, 1966.

W. Teitelman, History of Interlisp, Celebrating the 50th Anniversary of Lisp, vol.5, 2008.

L. Thomas-van-binsbergen, 2020. eFLINT implementation on Git-Lab, p.12, 2020.

L. Thomas-van-binsbergen, L. Liu, R. Van-doesburg, and T. Van-engers, eFLINT: A Domain-Specific Language for Executable Norm Specifications, Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, vol.2020, 2020.

T. Van-der and . Storm, Semantic deltas for live DSL environments, 1st International Workshop on Live Programming (LIVE'13), pp.35-38, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00923388

E. Van-wyk, O. De-moor, K. Backhouse, and P. Kwiatkowski, Forwarding in Attribute Grammars for Modular Language Design, Compiler Construction, R.Nigel Horspool, vol.2304, pp.128-142, 2002.

M. Walicki and S. Meldal, Algebraic Approaches to Nondeterminism -an Overview, Comput. Surveys, vol.29, pp.30-81, 1997.

S. Wolfram, The Mathematica Book, 1999.