[cap-talk] How Emily Tamed the CAML

[Jonathan M. Smith]

Mark:
	A perfectly reasonable starting point. What is interesting, in my
opinion, is how we ended up using a VERY capability-like method for
managing active code loads on remotes hosts, see:

http://www.cs.umd.edu/~waa/pubs/saneimp-jcn.pdf

More overview on the general approach - and why we thought (and continue
to think) that languages and OS are the appropriate infrastructure with
which to build distributed systems - can be found at:

http://repository.upenn.edu/cgi/viewcontent.cgi?article=1048&context=cis_papers

I am extremely happy that folks such as yourselves are lloking hard at
what can be done with language approaches.

								-JMS


-------------------------------------------------------------------------
Jonathan M. Smith
Olga and Alberico Pompa Professor of Engineering and Applied Science
Professor of Computer and Information Science, University of Pennsylvania
Levine Hall, 3330 Walnut Street, Philadelphia, PA 19104

On Sat, 26 Aug 2006, Mark Miller wrote:

> On 8/26/06, Jonathan M. Smith <jms at central.cis.upenn.edu> wrote:
> > Mark:
> >         I will note for the list that the SwitchWare Active Networking effort was
> > done almost entirely in OCaml.
> >
> > http://www.cis.upenn.edu/~dsl/switchware/index.html
>
>
> Hi Jonathan,
>
> This looks quite relevant, thanks. From poking around some, the most
> relevant piece so far seems to be section 3 of
> <http://www.cis.upenn.edu/~dsl/switchware/papers/ml.ps>. Is this
> indeed the right starting point for understanding how your work
> relates to Emily? If not, where should we start?
>
> --
> Text by me above is hereby placed in the public domain
>
>     Cheers,
>     --MarkM
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk
>