A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann

Browse the full PLDI paper archive.