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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.