Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. - Mario Alvarez-Picallo; Alex Eyers-Taylor; Michael Peyton Jones; C.-H. Luke Ong (ESOP, 2019)