A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation.