collaborators

1 paper

cs.PL2018

Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog

Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones +1

Incremental computation has recently been studied using the concepts of change structures and derivatives of programs, where the derivative of a function allows updating the output…