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

Browse the full ESOP paper archive.