Functional pearl: streams and unique fixed points.

Ralf Hinze

Browse the full ICFP paper archive.