Adapton: composable, demand-driven incremental computation.

Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster

Browse the full PLDI paper archive.