TY  - RPRT
TI  - Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
AU  - Mario Alvarez-Picallo
AU  - Alex Eyers-Taylor
AU  - Michael Peyton Jones
AU  - C. -H. Luke Ong
PY  - 2018
UR  - https://arxiv.org/abs/1811.06069
ID  - 1811.06069
ER  -