SkillProgramming Language
OCaml
A general-purpose programming language combining functional, imperative, and object-oriented styles with a powerful type system.
Introduced Jan 1996Website
Xavier LeroyJérôme VouillonDamien DoligezDidier Rémy
Functional ProgrammingType SafetyCompiler DevelopmentFormal Methods