13 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.PL2013
A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation
Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel +1
If the result of an expensive computation is invalidated by a small change to the input, the old result should be updated incrementally instead of reexecuting the whole computation…
cs.PL2012★ 13 cited
Reify Your Collection Queries for Modularity and Speed!
Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg +3
Modularity and efficiency are often contradicting requirements, such that programers have to trade one for the other. We analyze this dilemma in the context of programs operating o…