A Monadic , Functional Implementation of Real Numbers

@inproceedings{AM,
  title={A Monadic , Functional Implementation of Real Numbers},
  author={}
}