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.
Technical Report PLT-TR- 2010-1
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.