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.
No references recorded for this publication.
No citations of this publication recorded.