Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

The Caml Consortium

Participants : Xavier Leroy [correspondant] , Damien Doligez, Didier Rémy.

The Caml Consortium is a formal structure where industrial and academic users of OCaml 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 Consortium currently has 11 member companies:

• CEA

• Citrix

• Dassault Aviation

• Dassault Systèmes

• Esterel Technologies

• Jane Street

• LexiFi

• Microsoft

• Multitudine

• OCamlPro

• SimCorp

For a complete description of this structure, refer to http://caml.inria.fr/consortium/ . Xavier Leroy chairs the scientific committee of the Consortium.