Previous Up Next


This manual documents the release 4.01 of the JoCaml system. JoCaml is an extension of Objective Caml.


As an extension, JoCaml includes much source code from Objective Caml. It should be no surprise that JoCaml license is exactly Objective Caml license.

The JoCaml system is open source and can be freely redistributed. See the file LICENSE in the distribution for licensing information.

The present documentation is copyright © 2014 Institut National de Recherche en Informatique et en Automatique (INRIA). The JoCaml documentation and user’s manual may be reproduced and distributed in whole or in part, subject to the following conditions:


The complete JoCaml distribution can be accessed via the Web site This Web site contains some additional information on JoCaml.


We thank the whole Objective Caml development team, and in particular Xavier Leroy, for giving us full access to source code, computer resources, names, logos etc. All bugs we have introduced are ours.

JoCaml and this manual owe much to previous work, by numerous people, including Fabrice Le Fessant, Cédric Fournet and Alan Schmitt.

The software authors are Luc Maranget, Ma Qin and Louis Mandel.

Previous Up Next