algebraic effects 1automatic differentiation 1categorical semantics 1category theory 1denotational semantics 1dependent types 1idempotent completion 1probabilistic programming 1reverse-mode 1reverse-mode automatic differentiation 1variant types 1
From the 2 of 2 linked papers with an AI index.
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 +1
The paper presents a simply‑typed denotational semantics for reverse‑mode automatic differentiation with variant types by embedding cotangent spaces into a common ambient type usin…
cs.PL2026
Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects
Diogo Simm, Fernando Lucatelli Nunes, Matthijs Vákár
The paper presents a reverse‑mode automatic differentiation transformation for programs with finite discrete probability and other algebraic effects, formalized in the CHAD framewo…