Lazy computation with exact real numbers (1998)

by A Edalat, P J Potts, P Sunderhauf
Venue:Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP-98), volume 34, 1 of ACM SIGPLAN Notices