sasaki@umbc3.UMBC.EDU (Jim Sasaki) (08/02/90)
Here's a reference to another article on constructive reals: Vernan A. Lee Jr. and Hans-J. Boehm "Optimizing programs over the constructive reals" ACM SIGPLAN'90 Conf. on Pgm'g Lang. Design and Impl. White Plains, NY, June 20-22, 1990 (SIGPLAN Notices v. 25, n. 6, June 1990) pp 102-111 -- Jim Sasaki (sasaki@umbc3.umbc.edu)