Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
No abstract available.
Related papers
- Interactive Disambiguation of Meta Programs with Concrete Object Syntax SLE 2010
- Meta-programming with Concrete Object Syntax GPCE 2002
- Normalization by evaluation with typed abstract syntax JFP 2001
- Concrete Syntax Metapatterns SLE 2024
- A Dependent Type Theory for Meta-programming with Intensional Analysis POPL 2025
- A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions POPL 2008
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions OOPSLA 2004
- Grammatical Framework JFP 2004