staged relational interpreters: running with holes, faster
Tutorials on Lightweight Modular Staging
Collapsing Towers of Interpreters (in Scheme)
generative programming & verification
purple: compiling a reflective language