Re: Dynamic binding

[YONEZAWA Akinori <yonezawa@xxxxxxxxxxxxxxxxxxxxxxxx>]

We have designed a language called MobileML, in which code mingrates to what
we call a "context" which is a ML programn fragment containing a hole.
The code migrates to the context and is filled in the hole in the context.
When the code is filled, the free variables in the code are usually
dynamically (and geographically remotely) are bound to the variables
defined in the context.  In some sense, this language is designed specifically
for experimenting such kind of dynamic binding.

Please take a look at our recent paper:

Hashimoto, M and Yonezawa, 
A. MobileML: A Programming Language for Mobile Computation, 
In Proc. of Coordination2000.  LNCS No. 1906, pp.198-215, 2000

which can be down loaded from:

   http://web.yl.is.s.u-tokyo.ac.jp/amo/

Aki Yonezawa

____________________________________________________________________

 AKINORI YONEZAWA		  Phone: +81-3-5841-4114 (dial-in)
 Dept. of Information Science	  Fax:   +81-3-5689-4365		      
 Faculty of Science		  
 University of Tokyo			
 Hongo, Bunkyo-ku                 Mail: yonezawa@xxxxxxxxxxxxxxxxxx
 Tokyo 113 Japan  		  http://www.yl.is.s.u-tokyo.ac.jp/

 Secretary: Mail: m-noriko@xxxxxxxxxxxxxxxxxx, Phone: +81-3-5841-4435



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