A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation

by Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, and Klaus Ostermann

In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014.

This publication is related to the Incremental λ-Calculus research project.

Citation as BibTeX

@inproceedings{cai14theory,
  author = {Cai, Yufei and Giarrusso, Paolo G. and Rendel, Tillmann and Ostermann, Klaus},
  title = {A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation},
  booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  series = {PLDI ’14},
  year = {2014},
  location = {Edinburgh, UK},
  url = {http://www.informatik.uni-marburg.de/%7epgiarrusso/papers/pldi14-ilc-author-final.pdf},
  address = {New York, NY, USA},
  nokeywords = {Incremental computation, first-class functions, performance, Agda, formalization}
}