The JoCaml system

Logo fougere

The JoCaml system is an experimental extension of the Objective-Caml language with the distributed join-calculus programming model. This model includes high-level communication and synchronising channels,mobile agents, failure detection and automatic memory management. JoCaml enables programmers to rapidly develop distributedlarge-scale applications, using both Objective-Caml ease of programmation and extended libraries, and the join-calculus distributed and concurrent features. It can already be viewed as the next-generation Internet programming language.

The distribution

Our implementation is currently only beta-released: JoCaml sources (April 2003 : tar.gz, you can read the license here). This version works on most UNIX platforms, and a port to Windows NT was started in january 2000, partially sponsored by Microsoft Research .

The current distribution contains:

Documentation

Papers on the Implementation

Papers on the Join-calculus


Contact address and bug reports: jocaml-dev_@_inria.fr