10 citations · 35 across the 9 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.PL2021★ 8 cited
CHAD for Expressive Total Languages
Fernando Lucatelli Nunes, Matthijs Vákár
We show how to apply forward and reverse mode Combinatory Homomorphic Automatic Differentiation (CHAD) to total functional programming languages with expressive type systems featur…
cs.PL2021
CHAD: Combinatory Homomorphic Automatic Differentiation
Matthijs Vákár, Tom Smeding
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward- and reverse-mode automati…
cs.PL2021★ 10 cited
Higher Order Automatic Differentiation of Higher Order Functions
Mathieu Huot, Sam Staton, Matthijs Vákár
We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher-order language with algebraic data types and we character…