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:

Seminaïve evaluation for a higher-order functional language. Michael Arntzenius and Neel Krishnaswami. POPL 2020.

Credits

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

Cai Yufei

Paolo G. Giarrusso

Tillmann Rendel

Klaus Ostermann

Lourdes Del Carmen Gonzàlez Huesca

Yann Régis-Gianas

Philipp Schuster

Further acknowledgments in each publication.

News

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