1 - 3 of 3
1
Conference item icon

Conference item

Change actions: models of generalised differentiation

  • Ong, C, Alvarez-Picallo, M
  • 2019-04-05
2
Conference item icon

Conference item

The difference λ-calculus: a language for difference categories

  • Alvarez-Picallo, M, Ong, CL
  • 2020-06-01
3
Conference item icon

Conference item

Fixing incremental computation: derivatives of fixpoints, and the recursive semantics of datalog

  • Alvarez-Picallo, M, Eyers-Taylor, A, Peyton Jones, M, et al.
  • 2019-04-06
FILTER RESULTS

TO TOP