Traceable data types for self-adjusting computation.

Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Trkoglu

Browse the full PLDI paper archive.