Side-effect free containers for E

[Ken Kahn]

It may well have been Vijay but the URL you provided is to his paper about
security holes in Java's class loader. Isn't that a different issue?

Best,

-ken

----- Original Message -----
From: "Dean Tribble" <tribble@netcom.com>
To: "Ken Kahn" <kenkahn@toontalk.com>
Cc: "Mark S. Miller" <markm@caplet.com>; <tyler@waterken.com>; "Marc
Stiegler" <marcs@skyhunter.com>; "E Language Discussions"
<e-lang@eros-os.org>
Sent: Wednesday, August 16, 2000 1:15 PM
Subject: Re: Side-effect free containers for E


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