Towards mobility for Caml Light

In this paper, we discuss the design of an experimental language, mCamllight which extends the functional programming language Caml Light to support concurrent and distributed programming. It is also aimed towards mobility. In contrast to others solutions, we chose to have an asynchronous system like in ERLANG, where sending and receiving do not to have to occur simultaneously, and mCamllight is tailored for distributed memory systems. It offers a few primitives with very simple semantics.