David R. Lester
-
Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Metamorphisms: Streaming representation-changers
Science of Computer Programming