Re: [Caja] Important new paper: The Need for Capability Policiies
"Drossopoulou, Sophia" <s.drossopoulou-AQ/[email protected]> Mon, 8 Jul 2013 15:57:02 +0000
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Mark, From: Mark Miller [mailto:[email protected]] ... On Mon, Jul 8, 2013 at 6:08 AM, Drossopoulou, Sophia <[email protected]<mailto:s.drossopoulou-AQ/[email protected]>> wrote: James and I have a sketch for a proof that the Joe code satisfies Pol_2... http://www.doc.ic.ac.uk/~scd/CAPE-FTfJP%2713_slides.pdf Ø Hi Sophia, what's the diference between slides 28 and 29? The change in font size makes other changes hard to spot. There is no difference! Sorry. I did not notice that when giving the talk. To avoid confusion, I have now replaced slide 29 by an empty slide. Cheers, Sophia PS From: Mark Miller [mailto:[email protected]] Ø .. I suggest we drop the other individual addressees and just continue this thread on e-lang. ... Yes will do that. _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang