TY  - RPRT
TI  - A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
AU  - Yufei Cai
AU  - Paolo G. Giarrusso
AU  - Tillmann Rendel
AU  - Klaus Ostermann
PY  - 2013
UR  - https://arxiv.org/abs/1312.0658
ID  - 1312.0658
ER  -