A Consistent Semantics of Self-Adjusting Computation

Umut A. Acar, Matthias Blume, and Jacob Donham

Paper

Twelf proof:

• Tar/gz
• Single file (check in Twelf with loadFile aml-proof.elf)