A Type System for Reflective Program Generators
No abstract available.
Related papers
- Dependently-Typed Programming with Logical Equality Reflection ICFP 2023
- Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version) SAS 2012
- Reflection in attribute grammars GPCE 2019
- Scrap more boilerplate: reflection, zips, and generalised casts ICFP 2004
- Incremental type-checking for type-reflective metaprograms GPCE 2010
- First-class effect reflection for effect-guided programming OOPSLA 2016
- A Typed Intermediate Representation for Dynamic Languages TOPLAS 2026
- Morphing: Structurally shaping a class by reflecting on others TOPLAS 2011