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.
In PEPM ’97: Proceedings of the 1997 ACM SIGPLAN sym- posium on Partial evaluation and semantics-based program manipulation (Amsterdam, The Netherlands)
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.