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