PARA Project

The JoCaml system

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 (November 23 1998 : tar.gz of 2.4 Mo)

The current distribution contains:


Papers on the Implementation

Papers on the Join-calculus

Contact address and bug reports: