Comparing Functional Paradigms for Exact Real-Number Computation.

Andrej Bauer, Martn Htzel Escard, Alex K. Simpson

Browse the full ICALP paper archive.