Meta-programming with Concrete Object Syntax
No abstract available.
Related papers
- Interactive Disambiguation of Meta Programs with Concrete Object Syntax SLE 2010
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax GPCE 2005
- 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
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions OOPSLA 2004
- A two-level logic perspective on (simultaneous) substitutions CPP 2018
- A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions POPL 2008