Meta-programming with Typed Object-Language Representations
No abstract available.
Related papers
- Meta-programming through typeful code representation ICFP 2003
- Meta-programming through typeful code representation JFP 2005
- Code Generation via Meta-programming in Dependently Typed Proof Assistants ESOP 2026
- Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax GPCE 2005
- A two-level logic perspective on (simultaneous) substitutions CPP 2018
- A Dependent Type Theory for Meta-programming with Intensional Analysis POPL 2025
- Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions CAV 2001
- Meta-programming with names and necessity ICFP 2002