A new calculus, MetaGTLC, combines gradual typing with quote/splice and blame tracking so that metaprograms generating statically-typed code catch type errors earlier, with a machine-checked type safety proof.
C++ Report 7, 4 (May 1995), 36–43
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Gradual Metaprogramming
A new calculus, MetaGTLC, combines gradual typing with quote/splice and blame tracking so that metaprograms generating statically-typed code catch type errors earlier, with a machine-checked type safety proof.