Exact Real Arithmetic: A Case Study in Higher Order Programming

Robert Cartwright
Mark Riggle
Michael J. O'Donnell
LISP and Functional Programming(1986), pp. 162-173

Abstract

Research Areas