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