Side-effect free containers for E

Ken Kahn
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.