Side-effect free containers for E
Wed, 16 Aug 2000 12:37:42 -0700
> 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.