| | | Objective Caml |
We use the Caml programming language developed at INRIA.
The variant of Caml we consider is Objective Caml: from a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference.
The Objective Caml system is open source software.
| | | Objective Caml |