Implicit Self-Adjusting Computation for Purely Functional ProgramsThis dissertation presents implicit self adjusting computation, a type directed technique for translating purely functional programs into self adjusting programs. In this implicit approach, the programmer annotates the (top level) input types of the programs to be translated. Type inference finds all other types, and a type directed translation rewrites the source program into an explicitly self adjusting target program. The type system is related to