Mario Alvarez-Picallo
发表
Mario Alvarez-Picallo,
2020,
ArXiv.
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
pdf
C.-H. Luke Ong,
Michael Peyton Jones,
Mario Alvarez-Picallo,
2019,
ESOP.
Mario Alvarez-Picallo,
C.-H. Luke Ong,
2020,
FSCD.
Jean-Simon Pacaud Lemay,
Mario Alvarez-Picallo,
2020,
FoSSaCS.
Jean-Simon Pacaud Lemay,
Mario Alvarez-Picallo,
2020,
ArXiv.
C.-H. Luke Ong,
Mario Alvarez-Picallo,
2020,
ArXiv.
C.-H. Luke Ong,
Mario Alvarez-Picallo,
C. Ong,
2019,
FoSSaCS.
Jean-Simon Pacaud Lemay,
Mario Alvarez-Picallo,
2021,
Logical Methods in Computer Science.
Dan R. Ghica,
David Sprunger,
Fabio Zanasi,
2021,
CSL.