Introduction

This is the homepage for the Incremental λ-Calculus project. Our goal is to extend database technology for low-overhead incremental computation, based on finite differencing, and apply it to higher-order languages.

Sources

On GitHub!

Papers

Credits

This project benefited from code and ideas of many different people:

Further acknowledgments in the paper itself.

News

Contacts

For any question or suggestion, feel free to contact me, Paolo G. Giarrusso, at paolo !dot! giarrusso (at) uni-tuebingen !dot! de.