🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
staged relational interpreters: running with holes, faster
Tutorials on Lightweight Modular Staging
generative programming & verification
An implementation of MacroML [Ganz, Sabry & Taha 2001]