Multi-Stage Programming: Its Theory and Applications (1999)

by Walid Taha
Citations:85 - 18 self

Documents Related by Co-Citation

239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
43 M.F.: Environment classifiers – W Taha, Nielsen - 2003
173 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
46 Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection – Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy - 2003
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
17 Graduate Institute Technical Reports – Oregon
32 Closed Types for a Safe Imperative MetaML – C. Calcagno, E. Moggi, T. Sheard - 2001
33 A Computational Formalization for Partial Evaluation – John Hatcliff, Olivier Danvy, I Ff, Ol - 1997
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002
15 Functor Categories and Two-Level Languages – E. Moggi - 1998
21 Fast Binding-Time Analysis for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1996
27 Ml-like inference for classifiers – Cristiano Calcagno, Eugenio Moggi, Walid Taha - 2004
53 Tagless Staged Interpreters for Typed Languages – Emir Pasalic, Walid Taha, Tim Sheard - 2002
22 Logical Modalities and Multi-Stage Programming – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
32 An Idealized MetaML: Simpler, and More Expressive – Eugenio Moggi, Walid Taha, Zine El-abidine Benaissa, Tim Sheard - 1999