Lazy Computation with Exact Real Numbers.

Abbas Edalat, Peter John Potts, Philipp Snderhauf

Browse the full ICFP paper archive.