Lazy Functional Algorithms for Exact Real Functionals.

Alex K. Simpson

Browse the full MFCS paper archive.