Type-directed automatic incrementalization.

Yan Chen, Jana Dunfield, Umut A. Acar

Browse the full PLDI paper archive.