A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation
- Author's version
by Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, and Klaus Ostermann
In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014.
This publication is part of the Incremental λ-Calculus research project.