Directly reflective meta-programming (2008)

Cached

Download Links

by Aaron Stump
Venue:Journal of Higher Order and Symbolic Computation
Citations:3 - 0 self

Active Bibliography

11 Programming With Types – Stephanie Claudene Weirich - 2002
10 A verified runtime for a verified theorem prover – Magnus O. Myreen, Jared Davis
1 Higher-Order Encodings with Constructors – Edwin M. Westbrook - 2008
Embedding F – Sam Lindley - 2012
Typed Intermediate Languages – Stephen Tse, Stephen Tse
unknown title – Jim Grundy, Tom Melham
3 Proof Assistants: history, ideas and future – H. Geuvers, Gl Nijmegen
Author manuscript, published in "LERNET Summer School, Piriapolis: Uruguay (2008)" Structural abstract interpretation A formal study using – Yves Bertot - 2008
4 Mechanized Verification of CPS Transformations – Zaynah Dargaye, Xavier Leroy
: Armenia (2007)" DOI: 10.1007/978-3-540-75560-9_17 Mechanized Verification of CPS Transformations – Zaynah Dargaye, Xavier Leroy - 2008
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
4 First-class open and closed code fragments – Morten Rhiger - 2005
Applying the B Method to Take on the Grand Challenge of Verified Compilation ∗ – B. Dantas, D. Déharbe, S. Galvão, A. M. Moreira, V. Medeiros
15 A verifying core for a cryptographic language compiler – Lee Pike - 2006
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
1 Erasure and Polymorphism in Pure Type Systems – Nathan Mishra Linger, Tim Sheard
14 Erasure and Polymorphism in Pure Type Systems – Nathan Mishra-linger, Tim Sheard
unknown title – Mfps Free Theorems, Runtime Type, Dimitrios Vytiniotis, Stephanie Weirich
8 Free theorems and runtime type representations – Dimitrios Vytiniotis, Stephanie Weirich - 2007