Incremental computation with names

Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn. Incremental computation with names. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 748-766, ACM, 2015. [doi]

@inproceedings{HammerDHLFHH15,
  title = {Incremental computation with names},
  author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael W. Hicks and David Van Horn},
  year = {2015},
  doi = {10.1145/2814270.2814305},
  url = {http://doi.acm.org/10.1145/2814270.2814305},
  researchr = {https://researchr.org/publication/HammerDHLFHH15},
  cites = {0},
  citedby = {0},
  pages = {748-766},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
  isbn = {978-1-4503-3689-5},
}