This is a formal semantics of the Objective Caml programming language. We aim to define at least the subset of OCaml that is defined by OCaml Light. Our definition is developed with the K Semantic Framework.
Please report bugs and feature requests using the GitHub issue tracker.