Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML (2001)

by Steve Ganz
Venue:in MacroML. In the International Conference on Functional Programming (ICFP ’01
Citations:37 - 4 self

Active Bibliography

86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
9 Staged Computation with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2005
4 First-class open and closed code fragments – Morten Rhiger - 2005
15 A Monadic Multi-stage Metalanguage – E. Moggi, S. Fagorzi - 2003
Staging Purely Functional Dynamic Programming Algorithms – Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
19 Modal Types for Mobile Code – Tom Murphy, VII - 2008
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
27 Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming – Cristiano Calcagno , Eugenio Moggi, Walid Taha - 2000
27 Ml-like inference for classifiers – Cristiano Calcagno, Eugenio Moggi, Walid Taha - 2004
2 Deriving Compilers and Virtual Machines for a Multi-Level Language – Atsushi Igarashi, Masashi Iwaki
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
1 Practical aspects of multi-stage programming, rice University – Jason L. Eckhardt, Roumen Kaiabachev, Kedar N. Swadi, Walid Taha - 2004
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
72 Accomplishments and Research Challenges in Meta-Programming – Tim Sheard - 2000
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
3 A Fresh Calculus for Name Management – D. Ancona, E. Moggi, D. Ancona E. Moggi
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001