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

Steven E. Ganz, Amr Sabry, Walid Taha. Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming. ICFP '01, pages 74-85, Association for Computing Machinery, New York, NY, USA, 2001.

Abstract

Abstract is missing.