Documenting my journey learning languages in the ML (Meta Language) family, in particular the OCaml dialect. Presently I am working through the OCaml course on Exercism as well as preparing for Advent of Code.

The OCaml API documentation (currently on Version 5.1) can be found here.

• The Definition of Standard ML, (see my notes on this so far). An authorised PDF is available here. The grammar from Appendix A can be found online here.
• Robin Milner and Mads Tofte, Commentary on Standard ML
• Matthias Felleisen and Daniel P. Friedman, The Little MLer
• [The Standard ML Basis Library. Free online version here. Also published by Cambridge University Press.
• Unix System Programming in OCaml
• Didier Rémy, Using, Understanding and Unraveling the OCaml Language
• Chris Okasaki, Purely Functional Data Structures
• Richard Bird, Pearls of Functional Algorithm Design

• Retrofitting Parallelism onto Ocaml https://arxiv.org/pdf/2004.11663.pdf
• Stepping OCaml https://arxiv.org/pdf/1906.11422.pdf
• Tracing OCaml Programs https://arxiv.org/pdf/2304.04937.pdf
• Targeted Static Analysis for OCaml C Stubs: eliminating gremlins from the code https://arxiv.org/pdf/2307.14909.pdf
• Generic Programming in OCaml https://arxiv.org/pdf/1812.11665.pdf
• Retrofitting Effect Handlers onto OCaml https://arxiv.org/pdf/2104.00250.pdf
• Owl: A General-Purpose Numerical Library in OCaml https://arxiv.org/pdf/1707.09616.pdf
• Extending OCaml's 'open' https://arxiv.org/pdf/1905.06543.pdf
• CAMLroot: revisiting the OCaml FFI https://arxiv.org/pdf/1812.04905.pdf
• Graph500 from OCaml-Multicore Perspective https://arxiv.org/pdf/2012.13548.pdf
• Merlin: A Language Server for OCaml (Experience Report) https://arxiv.org/pdf/1807.06702.pdf
• Implementing graph grammars for intelligence analysis in OCaml https://arxiv.org/pdf/1606.01081.pdf
• Haskell for OCaml programmers https://arxiv.org/pdf/1405.3072.pdf
• Improving Type Error Messages in OCaml https://arxiv.org/pdf/1512.01897.pdf
• Typed Embedding of a Relational Language in OCaml https://arxiv.org/pdf/1805.11006.pdf
• Eff Directly in OCaml https://arxiv.org/pdf/1812.11664.pdf
• GopCaml: A Structural Editor in OCaml https://arxiv.org/pdf/2207.07423.pdf
• OCamlJIT 2.0 - Faster Objective Caml https://arxiv.org/pdf/1011.1783.pdf
• Just-In-Time compilation of OCaml byte-code https://arxiv.org/pdf/1011.6223.pdf
• Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers https://arxiv.org/pdf/1812.11668.pdf
• Modular implicits https://arxiv.org/pdf/1512.01895.pdf
• A Practical Mode System for Recursive Definitions https://arxiv.org/pdf/1811.08134.pdf
• Towards Automatic Resource Bound Analysis for OCaml https://arxiv.org/pdf/1611.00692.pdf

• https://github.com/backtracking/ocamlgraph
• https://github.com/backtracking/combine
• https://github.com/owainlewis/ocaml-datastructures-algorithms
• https://github.com/janestreet/base
• https://github.com/janestreet/core
• https://github.com/dbuenzli/cmdliner
• https://github.com/UnixJunkie/minicli

• OCaml sourcecode
• Awesome OCaml - An excellent compendium of OCaml tools, libraries and resources.
• The Mechanization of Standard ML (by Robert Harper).
• Rust's erstwhile compiler, rustboot, which was written in OCaml

• 15-150 Principles of Functional Programming at Carnegie Mellon. Makes use of Standard ML.

• https://smlfamily.github.io/
• https://gallium.inria.fr/blog/ - Florian Angeletti's OCaml compiler blog
• https://drup.github.io/