Research papers on Macros
: a new language for writing macros.
Type Systems as Macros
: a metalanguage for creating typed embedded languages.
Composable and Compilable macros
: a macro system that separates compilation without sacrificing the expressiveness of macros.
Macros that Work Together
: describes and models features of the Racket macro system, including support for general compile-time bindings, partial expansion, and definition contexts.
Languages as Libraries
: explains Racket’s language extension API via an implementation of a small typed sister language.
Binding as Sets of Scopes
: model of macro expansion as bindings through a set of scopes.