Side-effect free containers for E

Ken Kahn kenkahn@toontalk.com
Wed, 16 Aug 2000 12:37:42 -0700


Dean wrote:
>
> Insufficiently persuaded?  There was a lovely Java exploit that I believe
> our Vulcan cohort Vijay Saraswat helped to document using the fact that
> reading a cell is covariant and writing a cell is contravariant.

I think that was Pavel Curtis, not Vijay. While not a Vulcan cohort, at
least he was a fellow Xerox PARCer. His doctoral thesis ("Constrained
Quantification in Polymorphic Type Analysis") was on this topic and was
years before Java.

Good discussion.

Best,

-ken