O

OCaml

Definition

Source code for OCaml, a multi-paradigm language with a powerful type system. Used in formal verification, compilers, and financial systems.

Defined Term