MetaML and Multi-Stage Programming with Explicit Annotations (1999)

by Walid Taha , Tim Sheard
Venue:Theoretical Computer Science
Citations:238 - 30 self

Active Bibliography

86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
4 First-class open and closed code fragments – Morten Rhiger - 2005
Staging Purely Functional Dynamic Programming Algorithms – Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
3 Two Flavors of Offline Partial Evaluation – Simon Helsen, Peter Thiemann - 1998
37 Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML – Steve Ganz - 2001
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
2 Deriving Compilers and Virtual Machines for a Multi-Level Language – Atsushi Igarashi, Masashi Iwaki
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
32 An Idealized MetaML: Simpler, and More Expressive – Eugenio Moggi, Walid Taha, Zine El-abidine Benaissa, Tim Sheard - 1999
18 A Categorical Account of Two-Level Languages – Eugenio Moggi - 1997
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
3 Interpreting Specialization in Type Theory – Peter Thiemann
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
Run-Time Code Generation for Type-Directed Partial Evaluation – Morten Rhiger - 1999
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
XAY*Z\ [ Z!V]^Y`_a_cb R,SFTHUWV – J Kl*nmom Pq