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

by Steven E Ganz, Amr Sabry, Walid Taha
Venue:In ICFP ’01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming