Analysis and caching of dependencies
Martı́n Abadi, Butler Lampson, Jean-Jacques Lévy · 1996
We address the problem of dependency analysis and caching in the context of the λ-calculus. The dependencies of a λ-term are (roughly) the parts of the λ-term that contribute to the result of evaluating it. We introduce a mechanism for keeping track of dependencies, and discuss how to use these dependencies in caching.