Alex K. Simpson. Lazy Functional Algorithms for Exact Real Functionals. In Lubos Brim, Jozef Gruska, JirĂ Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 456-464, Springer, 1998. [doi]
Abstract is missing.