4 ms·
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation > [...] We present a program transformation taking progra
by cgrand-net 8y ago
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
> [...] We present a program transformation taking programs to their derivatives, which is fully static and automatic, supports first-class functions, and produces derivatives amenable to standard optimization.
https://arxiv.org/abs/1312.0658 https://arxiv.org/abs/1312.0658