Mario Alvarez-Picallo

15 papers A 1B 5Journal 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
Effect Handlers for C via Coroutines.
Proc. ACM Program. Lang.
Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica, Sam Lindley
2023 B conf
Functorial String Diagrams for Reverse-Mode Automatic Differentiation.
CSL
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2022 B conf
Rewriting for Monoidal Closed Categories.
FSCD
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2021 J jnl
Cartesian Difference Categories.
Log. Methods Comput. Sci.
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2021 J jnl
Functorial String Diagrams for Reverse-Mode Automatic Differentiation.
CoRR
Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2020 B conf
Cartesian Difference Categories.
FoSSaCS
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Cartesian Difference Categories.
CoRR
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Cartesian Difference Categories: Extended Report.
CoRR
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
2020 J jnl
Change actions: from incremental computation to discrete derivatives.
CoRR
Mario Alvarez-Picallo
2020 J jnl
The Difference Lambda-Calculus: A Language for Difference Categories.
CoRR
Mario Alvarez-Picallo, C.-H. Luke Ong
2020 B conf
The Difference λ-Calculus: A Language for Difference Categories.
FSCD
Mario Alvarez-Picallo, C.-H. Luke Ong
2019 B conf
Change Actions: Models of Generalised Differentiation.
FoSSaCS
Mario Alvarez-Picallo, C.-H. Luke Ong
2019 J jnl
Change Actions: Models of Generalised Differentiation.
CoRR
Mario Alvarez-Picallo, C.-H. Luke Ong
2019 A conf
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
ESOP
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong
2018 J jnl
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog.
CoRR
Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong