Macros that Work Together: Compile-Time Bindings, Partial Expansion, and Definition Contexts
Flatt, Culpepper, Darais, and Findler
Journal of Functional Programming
, to appear
March 2012 draft
Models from the paper:
models.zip