The goal of the Incremental λ-Calculus project is to extend database technology for low-overhead incremental computation, based on finite differencing, and apply it to higher-order languages.
More information can be found on the external project homepage of this project.
A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation
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.Learn More