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

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

Documents Related by Co-Citation

149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
103 Programmable Syntax Macros – Daniel Weise, Roger Crew - 1993
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998
277 A Metaobject Protocol for C++ – Shigeru Chiba - 1995
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
104 `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation – Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek - 1996
40 Quasiquotation in Lisp – Alan Bawden - 1999
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
97 Macros that work – William Clinger, Jonathan Rees - 1991
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
21 Tag Elimination and Jones-Optimality – Walid Taha, Henning Makholm, John Hughes
30 A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract) – Walid Taha - 2000