Imperative self-adjusting computation.

Umut A. Acar, Amal Ahmed, Matthias Blume

Browse the full POPL paper archive.