Showing 2026Show all
3 papers · 1 filter
cs.PL2026
Freely Generated Categorical Structures and Automatic Differentiation, PhD Thesis (Introduction and Conclusion)
Fernando Lucatelli Nunes
This version contains the introduction and conclusion of my PhD thesis, "Freely Generated Categorical Structures and Automatic Differentiation", together with its English and Dutch…
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…