Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. - Mario Alvarez-Picallo; Alex Eyers-Taylor; Michael Peyton Jones; C.-H. Luke Ong (ESOP, 2019)

Change Actions: Models of Generalised Differentiation. - Mario Alvarez-Picallo; C.-H. Luke Ong (FoSSaCS, 2019)

The Difference λ-Calculus: A Language for Difference Categories. - Mario Alvarez-Picallo; C.-H. Luke Ong (FSCD, 2020)

Cartesian Difference Categories: Extended Report. - Mario Alvarez-Picallo; Jean-Simon Pacaud Lemay (CoRR, 2020)

Change actions: from incremental computation to discrete derivatives. - Mario Alvarez-Picallo (CoRR, 2020)

The Difference Lambda-Calculus: A Language for Difference Categories. - Mario Alvarez-Picallo; C.-H. Luke Ong (CoRR, 2020)

Cartesian Difference Categories. - Mario Alvarez-Picallo; Jean-Simon Pacaud Lemay (Log. Methods Comput. Sci., 2021)

Rewriting for Monoidal Closed Categories. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (FSCD, 2022)

Functorial String Diagrams for Reverse-Mode Automatic Differentiation. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (CSL, 2023)

Effect Handlers for C via Coroutines. - Mario Alvarez-Picallo; Teodoro Freund; Dan R. Ghica; Sam Lindley (Proc. ACM Program. Lang., 2024)