Mario Alvarez-Picallo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CSL | Functorial String Diagrams for Reverse-Mode Automatic Differentiation. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2022 | FSCD | Rewriting for Monoidal Closed Categories. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2020 | FOSSACS | Cartesian Difference Categories. | Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay |
| 2020 | FSCD | The Difference λ-Calculus: A Language for Difference Categories. | Mario Alvarez-Picallo, C.-H. Luke Ong |
| 2019 | ESOP | 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 |
| 2019 | FOSSACS | Change Actions: Models of Generalised Differentiation. | Mario Alvarez-Picallo, C.-H. Luke Ong |