Mario Alvarez-Picallo

According to our database, Mario Alvarez-Picallo authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Functorial String Diagrams for Reverse-Mode Automatic Differentiation.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Rewriting for Monoidal Closed Categories.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Cartesian Difference Categories.

Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

Log. Methods Comput. Sci., 2021

2020

The Difference Lambda-Calculus: A Language for Difference Categories.

Mario Alvarez-Picallo, C.-H. Luke Ong

CoRR, 2020

Change actions: from incremental computation to discrete derivatives.

Mario Alvarez-Picallo

CoRR, 2020

Cartesian Difference Categories: Extended Report.

Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

CoRR, 2020

The Difference λ-Calculus: A Language for Difference Categories.

Mario Alvarez-Picallo, C.-H. Luke Ong

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Change Actions: Models of Generalised Differentiation.

Mario Alvarez-Picallo, C.-H. Luke Ong

Proceedings of the Foundations of Software Science and Computation Structures, 2019

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

Proceedings of the Programming Languages and Systems, 2019