Imperative selfadjusting computation (2008)

by Umut A Acar, Amal Ahmed, Matthias Blume
Venue:In POPL