uniqueness and strictness unified?

Patrick Logan patrickl@servio.gemstone.com
Mon, 9 Mar 98 08:43 PST


    For the purposes of uniqueness, IO and destructive updates, I
    reasoned that it should not be a problem to have multiple
    read-only references to the object, as long as there is at most
    one destructive reference.

See...

  "Observers for Linear Types" by Martin Odersky
  http://www.cis.unisa.edu.au/~cismxo/papers/esop92.ps.gz

-- 
Patrick Logan                 mailto:patrickl@gemstone.com
Voice 503-533-3365            Fax   503-629-8556
Gemstone Systems, Inc         http://www.gemstone.com