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

Documents Related by Co-Citation

149 Hygienic macro expansion – Eugene E Kohlbecker, Daniel P Friedman, Matthias Felleisen, Bruce F Duba - 1986
173 Template Meta-programming for Haskell – Tim Sheard, Simon Peyton Jones - 2002
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
97 Macros that work – William Clinger, Jonathan Rees - 1991
41 Syntactic abstraction – R K Dybvig, R Hieb, C Bruggeman - 1993
222 Revised 5 report on the algorithmic language Scheme – Richard Kelsey, William Clinger, Jonathan Rees (editors, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, M. Wand - 1998
14 First-class macros have types – Alan Bawden - 2000
102 Using c++ template metaprograms – Todd Veldhuizen - 1995
39 Growing Languages with Metamorphic Syntax Macros – Claus Brabrand, Michael I. Schwartzbach - 2000
52 The Java syntactic extender (JSE – Jonathan Bachrach - 2001
103 Programmable Syntax Macros – Daniel Weise, Roger Crew - 1993
34 Syntactic Closures – Alan Bawden, Jonathan Rees - 1988
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
8 D-Expressions: Lisp power, Dylan style – J Bachrach - 1999
19 Optimising Embedded DSLs Using Template Haskell – Sean Seefried, Manuel Chakravarty, Gabriele Keller - 2004
73 An Empirical Analysis of C Preprocessor Use – Michael D. Ernst, Greg J. Badros, David Notkin - 2002
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
15 Linguistic Reuse – S Krishnamurthi - 2001
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996