Cai et al. - Incrementalizing Lambda-Calculi by Static Differentiation (PLDI 2014)

See research material.

(TODO)