Contractive Functions on Infinite Data Structures

Venanzio Capretta, Graham Hutton, Mauro Jaskelioff. Contractive Functions on Infinite Data Structures. In Tom Schrijvers, editor, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016. ACM, 2016. [doi]

@inproceedings{CaprettaHJ16,
  title = {Contractive Functions on Infinite Data Structures},
  author = {Venanzio Capretta and Graham Hutton and Mauro Jaskelioff},
  year = {2016},
  doi = {10.1145/3064899.3064900},
  url = {http://doi.acm.org/10.1145/3064899.3064900},
  researchr = {https://researchr.org/publication/CaprettaHJ16},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2016, Leuven, Belgium, August 31 - September 2, 2016},
  editor = {Tom Schrijvers},
  publisher = {ACM},
  isbn = {978-1-4503-4767-9},
}