[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [moca] How important is restriction?

On Fri, Oct 31, 2003 at 02:48:36PM -0000, Andy Gordon wrote:
> 
> I'm suggesting URIs as an ad-hoc way of distributing global names.  This
> problem arises for any distributed language.  We do need some global,
> shared names.  You could also check out how its addressed by Pierce and
> Turner's Pict and by Fournet, Levy, and Schmitt's JoCaml implementation
> of ambients. (I can't remember offhand.)

Thank you all very much. I think that with these ideas I can get past my
block. I'll let you know when I have something I can show.

--
Rodrigo Gallardo
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html