Participants : Xavier Clerc, Luc Maranget.
JoCaml is an implementation of the join-calculus integrated into Objective Caml (developed by team Gallium). With respect to previous join-language prototypes the most salient feature of the new prototype is a better integration into Objective Caml. We achieve binary compatibility with Objective Caml, and plan releases that will follow Objective Caml releases. See previous years reports for details on JoCaml. JoCaml is avaible at http://jocaml.inria.fr . Current version is 3.11.1 (released in June).
Xavier Clerc, INRIA engineer, now works part-time on JoCaml. The objective is to extend the JoCaml library to provide easier access to concurrency and distribution. In particular Xavier Clerc wrote:
These extensions will be included in the next release of JoCaml.