Mario Alvarez-Picallo

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 14

Top Topics

Top Venues

Publications

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL (2023)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Rewriting for Monoidal Closed Categories. FSCD (2022)
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR (2021)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. Log. Methods Comput. Sci. 17 (3) (2021)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories: Extended Report. CoRR (2020)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. CoRR (2020)
Mario Alvarez-Picallo, C.-H. Luke Ong
The Difference λ-Calculus: A Language for Difference Categories. FSCD (2020)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. FoSSaCS (2020)
Mario Alvarez-Picallo, C.-H. Luke Ong
The Difference Lambda-Calculus: A Language for Difference Categories. CoRR (2020)
Mario Alvarez-Picallo
Change actions: from incremental computation to discrete derivatives. CoRR (2020)
Mario Alvarez-Picallo, C.-H. Luke Ong
Change Actions: Models of Generalised Differentiation. FoSSaCS (2019)
Mario Alvarez-Picallo, C.-H. Luke Ong
Change Actions: Models of Generalised Differentiation. CoRR (2019)
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. ESOP (2019)
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog. CoRR (2018)