Link to "Functional Programming for Dynamic and Large Data with Self-Adjusting Computation."