works on
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 3 linked papers with an AI index.

collaborators

3 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…

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)…