Abbas Edalat, Peter John Potts, Philipp Sünderhauf. Lazy Computation with Exact Real Numbers. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 185-194, ACM, Baltimore, Maryland, United States, 1998. [doi]
Abstract is missing.