INC: A Language for Incremental Computations.

Daniel M. Yellin, Robert E. Strom

Browse the full PLDI paper archive.