1. Towards an API for the real numbers;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
2. The constructive reals as a Java library;The Journal of Logic and Algebraic Programming;2005-07
3. A new approach to abstract data types, I Informal development;Mathematical Structures in Computer Science;1992-06
4. Hardware speedups in long integer multiplication;ACM SIGARCH Computer Architecture News;1991-03
5. Exact real computer arithmetic with continued fractions;Proceedings of the 1988 ACM conference on LISP and functional programming;1988-01