Side-effect free containers for E
Wed, 16 Aug 2000 14:11:22 -0700
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?
----- Original Message -----
From: "Dean Tribble" <email@example.com>
To: "Ken Kahn" <firstname.lastname@example.org>
Cc: "Mark S. Miller" <email@example.com>; <firstname.lastname@example.org>; "Marc
Stiegler" <email@example.com>; "E Language Discussions"
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
> 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
> 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
> > > our Vulcan cohort Vijay Saraswat helped to document using the fact
> > > 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.