Imperative self-adjusting computation (2008)

by Umut A. Acar , Amal Ahmed , Matthias Blume
Venue:In POPL
Citations:29 - 17 self