Implicit self-adjusting computation for purely functional programs.

Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar

Browse the full ICFP paper archive.