Trampolined Style. - Steven E. Ganz; Daniel P. Friedman; Mitchell Wand (ICFP, 1999)

Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. - Steven E. Ganz; Amr Sabry; Walid Taha (ICFP, 2001)