[comp.lang.misc] Another article on constructive reals

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)