Everything about OCaml

🧭 Start here: a 6-step reading path

1. Read the overview: OCamlA 5-minute orientation
2. Skim a recent paper: Melocoton: A Program Logic for Verified Interoperability Between OCaml and CInfluential work since 2022
3. Pick up a classic book: Practical OCamlThe most-reprinted book on the subject
4. Read the landmark paper: Retrofitting parallelism onto OCamlCited 36 times
5. Go sideways: CamlA closely related topic
6. Go sideways: Type systemA closely related topic

🏆 Landmark papers (most cited)

• Retrofitting parallelism onto OCaml

  KC Sivaramakrishnan, Stephen Dolan, Leo White · 2020 · Proceedings of the ACM on Programming Languages · 36 citations

• A “Minimal Disruption” Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml

  M. Danelutto, R. Di Cosmo · 2012 · Procedia Computer Science · 22 citations

• Oxidizing OCaml with Modal Memory Management

  Anton Lorenzen, Leo White, Stephen Dolan · 2024 · Proceedings of the ACM on Programming Languages · 20 citations

• Towards automatic resource bound analysis for OCaml

  Jan Hoffmann, Ankush Das, Shu-Chun Weng · 2017 · ACM SIGPLAN Notices · 20 citations

• OCaml for the masses

  Yaron Minsky · 2011 · Communications of the ACM · 19 citations

• Delimited control in OCaml, abstractly and concretely

  Oleg Kiselyov · 2012 · Theoretical Computer Science · 19 citations

• Merlin: a language server for OCaml (experience report)

  Frédéric Bour, Thomas Refis, Gabriel Scherer · 2018 · Proceedings of the ACM on Programming Languages · 18 citations

• Verified Extraction from Coq to OCaml

  Yannick Forster, Matthieu Sozeau, Nicolas Tabareau · 2024 · Proceedings of the ACM on Programming Languages · 17 citations

🆕 Influential since 2022

• Melocoton: A Program Logic for Verified Interoperability Between OCaml and C

  Armaël Guéneau, Johannes Hostert, Simon Spies · 2023 · Proceedings of the ACM on Programming Languages · 14 citations

• Formal Semantics and Program Logics for a Fragment of OCaml

  Remy Seassau, Irene Yoon, Jean-Marie Madiot · 2025 · Proceedings of the ACM on Programming Languages · 7 citations

• Tail Modulo Cons, OCaml, and Relational Separation Logic

  Clément Allain, Frédéric Bour, Basile Clément · 2025 · Proceedings of the ACM on Programming Languages · 7 citations

• Accelerating OCaml Programs on FPGA

  Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot · 2023 · International Journal of Parallel Programming · 5 citations

• A Mechanically Verified Garbage Collector for OCaml

  Sheera Shamsu, Dipesh Kafle, Dhruv Maroo · 2025 · Journal of Automated Reasoning · 4 citations

📚 Books worth reading

• Practical OCamlJoshua B. Smith · 2006
• 📕OCaml from the Very BeginningJohn Whitington · 2013
• 📕More OCamlJohn Whitington · 2014
• Real World OCamlYaron Minsky, Anil Madhavapeddy · 2013
• 📕OCaml for scientistsJon D. Harrop · 2005
• Programmation iPhone OS3Thomas Sarlandie · 2009

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Caml Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose, high-level, functional programming language…
• Type system A programming language consists of a system of allowed sequences of symbols (constructs) together with rules that define how each construct is interpreted…
• Standard ML Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is…
• ML (programming language) ML (Meta Language) is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language…
• ATS (programming language) In computing, ATS (Applied Type System) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming…
• JoCaml JoCaml is an experimental general-purpose, high-level, multi-paradigm, functional and object-oriented programming language derived from OCaml. It integrates…
• Nemerle Nemerle is a general-purpose, high-level, statically typed programming language designed for platforms using the Common Language Infrastructure (.NET/Mono)…
• F Sharp (programming language) F# (pronounced F sharp) is a general-purpose, high-level, strongly typed, functional-first programming language that encompasses functional, imperative…