Design of A Concurrent Caml Light: ACCL

In this paper we propose an extension of the functional programming language Caml Light called ACCL for A Concurrent Caml Light which aims to encompass functional, imperative and concurrent programming paradigms in a single programming language. For the concurrent extension of Caml Light, we offer a few primitives with very simple semantics by using the model of ERLANG functional programming language. Support for dynamic process creation and inter process asynchronous communication are the two of the essential extensions to Caml Light language. This proposed language will be developed further to support distributing programming and mobile computation paradigms.