Imperative self-adjusting computation (2008)

by U A Acar, A Ahmed, M Blume
Venue:In Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages