http://www.cs.cornell.edu/Info/People/tt/research/incremental-computation/incremental-computation.html Incremental Compuation

Incremental Compuation


Incremental Evaluation

Derivation of Incremental Programs