Macros as multi-stage computations: type-safe, generative, binding macros in macroml (2001)

by Steven E Ganz, Amr Sabry, Walid Taha
Venue:In Proc. Intl. Conf. Functional Programming (ICFP