Section: Contracts and Grants with Industry
The Caml Consortium
The Caml Consortium is a formal structure where industrial and academic users of Caml can support the development of the language and associated tools, express their specific needs, and contribute to the long-term stability of Caml. Membership fees are used to fund specific developments targeted towards industrial users. Members of the Consortium automatically benefit from very liberal licensing conditions on the OCaml system, allowing for instance the OCaml compiler to be embedded within proprietary applications.
The current members of the Consortium are: Athys (a subsidiary of Dassault Systèmes), Dassault Aviation, LexiFi, and Microsoft. For a complete description of this structure, refer to http://caml.inria.fr/consortium/ . Michel Mauny (until september 2006) and Xavier Leroy (since september 2006) represent INRIA in the scientific committee of the Consortium.