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/