Ralf Hinze
Functional pearl: streams and unique fixed points
ICFP, 2008.
@inproceedings{ICFP-2008-Hinze, author = "Ralf Hinze", booktitle = "{Proceedings of the 13th International Conference on Functional Programming}", doi = "10.1145/1411204.1411232", editor = "James Hook and Peter Thiemann", isbn = "978-1-59593-919-7", pages = "189--200", publisher = "{ACM}", title = "{Functional pearl: streams and unique fixed points}", year = 2008, }