Side-effect free containers for E
Wed, 16 Aug 2000 13:15:40 -0700
Pavel was certainly a big help in forming my admittedly still hazy
understanding of covariance and contravariance, thinking about type issues,
and insights that fed into Joule. The paper I was referring to was mcuh
later, and turned out to be weasy to find on the web. For anyone interested:
It was indeed Vijay. We finally got him working on security :-)
At 12:37 PM 8/16/00 -0700, Ken Kahn 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.
Thanks for the comment.