A Monadic, Functional Implementation of Real Numbers.

Sun, 01 Jan 2006 00:00:00 +0100

Russell O'Connor:
A Monadic, Functional Implementation of Real Numbers. CoRR abs/cs/0605058 (2006)