OCaml programming language family

OCaml ( , formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.

Microsoft programming language

functional programming language inspired by ML and aimed at program verification

syntax extension and toolchain for OCaml

programming language