Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!haven!umbc3!sasaki
From: sasaki@umbc3.UMBC.EDU (Jim Sasaki)
Newsgroups: comp.lang.misc
Subject: Another article on constructive reals
Message-ID: <3693@umbc3.UMBC.EDU>
Date: 2 Aug 90 11:51:15 GMT
References: <3491@goanna.cs.rmit.oz.au> <1990Jul31.130623.15963@mintaka.lcs.mit.edu> <1990Aug1.152945.12826@ux1.cso.uiuc.edu> <1990Aug1.182901.12714@rice.edu>
Reply-To: sasaki@umbc3.umbc.edu (Jim Sasaki)
Organization: University of Maryland, Baltimore County
Lines: 10

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)