Representing Contractive Functions on Streams (Extended Version) (2011)

by Graham Hutton
Venue:UNDER CONSIDERATION FOR PUBLICATION IN THE JOURNAL OF FUNCTIONAL PROGRAMMING