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.

Publications

Related papers

By other authors:

Credits

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

Further acknowledgments in each publication.

News

Contacts

For any question or suggestion, feel free to contact me, Paolo G. Giarrusso, at p !dot! giarrusso (at) gmail !dot! com.