Robert Harper. Adaptive Functional Programming. Indiana University, February, 2002. (PPT slides).
An adaptive computation maintains the relationship between its input and output as the input changes. This allows for efficient recomputation, when input changes. Only the relevant parts of the program have to be executed again.
This presentation explains the motivation and basic approach. Formal semantics and the relation to modal type systems are presented.
You may also want to check out the paper Adaptive Functional Programming by Umut Acar, Guy Blelloch, and Robert Harper (ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, January 2002).
Posted to functional by Ehud Lamm on 5/30/02; 8:31:53 AM