Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Unraveling the iterative CHAD
Fernando Lucatelli Nunes, Gordon Plotkin, Matthijs Vákár
Combinatory Homomorphic Automatic Differentiation (CHAD) was originally formulated as a semantics-driven source-to-source transformation for reverse-mode AD of total (terminating)…
cs.PL2022
Logical Relations for Partial Features and Automatic Differentiation Correctness
Fernando Lucatelli Nunes, Matthijs Vákár
We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in catego…