A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation.