Alphonse: Incremental Computation as a Programming Abstraction.

Roger Hoover

Browse the full PLDI paper archive.