ML: metalanguage or object language?
Abstract
My talk will celebrate Robin Milner's contribution to functional programming via a combination of reminiscences about the early days of ML and speculations about its future.
Related papers
- Less is more: unparser-completeness of metalanguages for template engines GPCE 2011
- The Relative Monadic Metalanguage POPL 2026
- A metaprogramming framework for formal verification ICFP 2017
- Parallel-Program Transformation Using A Metalanguage PPoPP 1991
- Parsimony principles for software components and metalanguages GPCE 2007
- A Metalanguage for Interactive Proof in LCF POPL 1978
- Implementing Theorem Provers in a Purely Functional Style JFP 1999
- Ott: Effective tool support for the working semanticist JFP 2010