Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation

Author's version

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.

This publication is part of the Incremental λ-Calculus research project.