2 papers
cs.PL2026
Simply Typed Reverse-Mode Automatic Differentiation with Variants: Denotational Correctness via Idempotent Completion
Fernando Lucatelli Nunes, Diogo Simm, Matthijs Vákár
Reverse-mode automatic differentiation is commonly given a denotational account in which each source type has a single cotangent type. Variant types obstruct this simply typed repr…
cs.PL2026
Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects
Diogo Simm, Fernando Lucatelli Nunes, Matthijs Vákár
We analyse reverse-mode automatic differentiation (AD) for discrete probabilistic programs. Our construction is formulated in the framework of Combinatory Homomorphic Automatic Dif…