Functional pearl: Streams and unique fixed points (2008)

by Ralf Hinze
Venue:In ICFP’08, Proceedings of the 2008 SIGPLAN International Conference on Functional Programming