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

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

Documents Related by Co-Citation

No related documents identified.