http://www.cs.cornell.edu/Info/People/tt/research/incremental-computation/incremental-computation.html
Incremental Compuation
Incremental Compuation
Incremental Evaluation
- Attribute Grammars
- Relational Calculus
- Lambda Calculus
- First-order Functional Programs