Implementing Exact Real Numbers Efficiently.

Norbert Th. Mller

Browse the full CCA paper archive.