OCaml 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 Vouill
The OCaml development team receiving an award at Symposium on Principles of Programming Languages (POPL) 2024