External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Venanzio Capretta

This author has not been identified. Look up 'Venanzio Capretta' in Google

Graham Hutton

This author has not been identified. It may be one of the following persons: Look up 'Graham Hutton' in Google

Mauro Jaskelioff

This author has not been identified. Look up 'Mauro Jaskelioff' in Google
runs on