@misc{indiciae5e883b344f9a,
  title = {A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation},
  author = {Yufei Cai and Paolo G. Giarrusso and Tillmann Rendel and Klaus Ostermann},
  year = {2013},
  url = {https://arxiv.org/abs/1312.0658},
  note = {Source identifier: 1312.0658}
}