Authors: Umut A. Acar and Ruy Ley-Wild
Title: Self-Adjusting Computation in Delta ML
Paper: Portable Document Format    
Abstract:

In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation and incrementally updating the output as needed. In this tutorial, we describe the self-adjusting-computation model and present the language Delta ML for writing self-adjusting programs.