Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (2003)

by Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy
Venue:In Krzysztof Czarnecki, Frank Pfenning, and Yannis Smaragdakis, editors, Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science
Citations:46 - 10 self

Active Bibliography

72 Accomplishments and Research Challenges in Meta-Programming – Tim Sheard - 2000
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
4 Multi-Stage Imperative Languages: A Conservative Extension Result – Cristiano Calcagno, Eugenio Moggi - 2000
1 A logical foundation for environment classifiers, in – Takeshi Tsukada, Atsushi Igarashi
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
4 First-class open and closed code fragments – Morten Rhiger - 2005
Run-Time Code Generation for Type-Directed Partial Evaluation – Morten Rhiger - 1999
XAY*Z\ [ Z!V]^Y`_a_cb R,SFTHUWV – J Kl*nmom Pq
27 Ml-like inference for classifiers – Cristiano Calcagno, Eugenio Moggi, Walid Taha - 2004
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
7 Staged Notational Definitions – Walid Taha, Patricia Johann - 2003
7 Generating heap-bounded programs in a functional setting – Walid Taha, Stephan Ellner, Hongwei Xi - 2003
9 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002
2 Programming techniques for partial evaluation – Olivier Danvy - 2000