related documents Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML Conferences