, Modern Compiler Implementation in Java, 2003.
In IFIP State-of-the-Art Reports, Formal Descriptions of Programming Concepts, pp.51-136, 1991. ,
Generating Specialized Interpreters for Modular Structural Operational Semantics, 23rd International Symposium on Logic-Based Program Synthesis and Transformation, pp.220-236, 2014. ,
Modular language implementation in Rascalexperience report, Science of Computer Programming, vol.114, pp.7-19, 2015. ,
Omniscient debugging for executable DSLs, Journal of Systems and Software, vol.137, pp.261-288, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01662336
The MiniJava Project, p.12, 2002. ,
PDP-1 LISP, 1964. ,
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
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
Initial Algebra Semantics and Continuous Algebras, J. ACM, vol.24, pp.68-95, 1977. ,
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
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
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
Feature-oriented domain analysis (FODA) feasibility study, 1990. ,
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. ,
Jupyter Notebooks -a publishing format for reproducible computational workflows, Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp.87-90, 2016. ,
Debugging Backwards in Time, 2003. ,
Monad Transformers and Modular Interpreters, 22nd Symposium on Principles of Programming Languages, pp.333-343, 1995. ,
Practical object-oriented back-in-time debugging, European Conference on Object-Oriented Programming, pp.592-615, 2008. ,
, , p.12, 2010.
Lisp I programmer's manual, 1960. ,
Bacatá: Notebooks for DSLs, Almost for Free. Programming Journal, vol.4, p.11, 2020. ,
When and How to Develop Domain-specific Languages, Comput. Surveys, vol.37, pp.316-344, 2005. ,
The Definition of Standard ML, 1997. ,
Notions of Computation and Monads. Information and Computation, vol.93, pp.90052-90056, 1991. ,
Modular Structural Operational Semantics, Journal of Logic and Algebraic Programming, vol.60, pp.195-228, 2004. ,
Extensibility for the Masses -Practical Extensibility with Object Algebras, ECOOP 2012 -Object-Oriented Programming, pp.2-27, 2012. ,
IPython: A System for Interactive Scientific Computing, Computing in Science and Engineering, vol.9, pp.21-29, 2007. ,
Multi-stage programs in context, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, pp.71-84, 2019. ,
A Structural Approach to Operational Semantics, Journal of Logic and Algebraic Programming, vol.60, pp.17-139, 1981. ,
Scalable omniscient debugging, ACM SIGPLAN Notices, vol.42, pp.535-552, 2007. ,
The Evolution of Forth, The Second ACM SIGPLAN Conference on History of Programming Languages, pp.177-199, 1993. ,
Definitional Interpreters for Higher-Order Programming Languages, Proceedings of the ACM Annual Conference, vol.2, pp.717-740, 1972. ,
Definitional Interpreters for Higher-Order Programming Languages, Higher-Order and Symbolic Computation, vol.11, pp.363-397, 1998. ,
, Definitional Interpreters Revisited. Higher-Order and Symbolic Computation, vol.11, pp.355-361, 1998.
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. ,
JOSS: A designer's view of an experimental on-line computing system, Fall Joint Computer Conference, vol.26, pp.455-464, 1964. ,
Designing and implementing combinator languages, Advanced Functional Programming, pp.150-206, 1999. ,
A perspective on the evolution of live programming, 1st International Workshop on Live Programming (LIVE'13), pp.31-34, 2013. ,
PILOT: A Step Toward Man-Computer Symbiosis, Ph.D. Dissertation. MIT, 1966. ,
History of Interlisp, Celebrating the 50th Anniversary of Lisp, vol.5, 2008. ,
, 2020. eFLINT implementation on Git-Lab, p.12, 2020.
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. ,
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
Forwarding in Attribute Grammars for Modular Language Design, Compiler Construction, R.Nigel Horspool, vol.2304, pp.128-142, 2002. ,
Algebraic Approaches to Nondeterminism -an Overview, Comput. Surveys, vol.29, pp.30-81, 1997. ,
, The Mathematica Book, 1999.