Side-effect free containers for E

[Dean Tribble]

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:

http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html


It was indeed Vijay.  We finally got him working on security :-)

At 12:37 PM 8/16/00 -0700, Ken Kahn wrote:
>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.

Thanks for the comment.