You are here: Home –> Incremental λ-Calculus

Incremental λ-Calculus—Paolo G. Giarrusso

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.

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 pgiarrusso (at) informatik !dot! uni-marburg !dot! de.