Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML.

Steven E. Ganz, Amr Sabry, Walid Taha

Browse the full ICFP paper archive.