Macros as multistage computations: Type-safe, generative, binding macros in MacroML (2001)

by S E Ganz, A Sabry, W Taha
Venue:In Proc. 2001 ACM International Conference on Functional Programming