[e-lang] [cap-talk] examples of capabilities

Mark S. Miller erights at google.com
Tue Apr 12 08:28:33 PDT 2011


[+e-lang]

On Tue, Apr 12, 2011 at 11:06 AM, Kevin Reid <kpreid at switchb.org> wrote:

> On Apr 12, 2011, at 5:18, Matej Kosik wrote:
>
> > http://wiki.erights.org/wiki/Capability
>
[...]

>
> Why did you remove the link to Tamed Pict?

[...]


Matej, at <http://wiki.erights.org/wiki/Object-capability_languages> I
recently noticed that the old link to Tamed Pict was dead and updated it to
<
http://www.dipmat.unict.it/~barba/PROG-LANG/PROGRAMMI-TESTI/READING-MATERIAL/TutorialPICT.pdf>.
Please fix this to whatever is currently the best Tamed Pict link, or start
a Tamed Pict page on the erights wiki and point to that.

Kevin, could you update the E-on-Haskell link on that page?

Nathan, could you add a link to eonhs in that same cell?

Thanks.


-- 
    Cheers,
    --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/e-lang/attachments/20110412/2ea9e28b/attachment.html 


More information about the e-lang mailing list