Marco: Safe, Expressive Macros for Any Language
Abstract elided by the publisher.
Related papers
- Type-safe pattern combinators JFP 2009
- Efficient interpretation of synchronizable series expressions PLDI 1987
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- A practical unification of multi-stage programming and macros GPCE 2018
- The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier ICFP 2013
- Exceptions, Continuations and Macro-expressiveness ESOP 2002
- Macros for domain-specific languages OOPSLA 2020
- Fluid quotes: metaprogramming across abstraction boundaries with dependent types GPCE 2020