MacroML
Appearance
MacroML is an experimental system that seeks to reconcile static typing and macro systems.
Links
Some papers related to MacroML include:
- [as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML] (citeseer)
- [Notational Definitions] (citeseer)