Showing 1 - 3 results of 3 for search 'Alvarez-Picallo, M', query time: 0.02s
Refine Results
-
1
The difference λ-calculus: a language for difference categories by Alvarez-Picallo, M, Ong, CL
Published 2020Conference item -
2
Change actions: models of generalised differentiation by Ong, C, Alvarez-Picallo, M
Published 2019Conference item -
3
Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog by Alvarez-Picallo, M, Eyers-Taylor, A, Peyton Jones, M, Ong, C
Published 2019Conference item