Interactive Disambiguation of Meta Programs with Concrete Object Syntax
Abstract elided by the publisher.
Related papers
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax GPCE 2005
- Meta-programming with Concrete Object Syntax GPCE 2002
- Normalization by evaluation with typed abstract syntax JFP 2001
- Concrete Syntax Metapatterns SLE 2024
- Example-based validation of domain-specific visual languages SLE 2015
- A Dependent Type Theory for Meta-programming with Intensional Analysis POPL 2025
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions OOPSLA 2004
- Grammatical Framework JFP 2004