Programming Languages and Software Technology

Incremental λ-Calculus

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.

Project homepage

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


Invited Talk at PPS seminar, University Paris Diderot.

Paolo Giarrusso
Paolo G. Giarrusso
delivers an invited talk Incrementalizing λ-Calculi by Static Differentiation: A Theory of Changes for Higher-Order Languages and Ongoing Work at the PPS seminar of the University Paris Diderot (Paris 7). The talk is based on our PLDI 2014 paper and ongoing work in the “incremental λ-calculus” project.

Read more …