OCAML PROGRAMMING FOR FORMAL AND FINANCIAL SYSTEMS: Mathematically sound programming for safe high-assurance applications

Real World OCaml: Functional Programming for the Masses

Mastering OCaml Programming: From Basics to Expert Proficiency

Professional OCaml Programming: How to Engineer Industrial-Strength Systems with OCaml (Mastering Emerging Programming Languages)

OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence (Undergraduate Topics in Computer Science)