Papers on OCaml
Lightweight Higher Kinded Polymorphism: Why OCaml can’t have higher kinded types like Haskell, and how to substitute for them.
Modular Implicits: A typeclass-like system for OCaml.
- Format Unravelled: The Format module and its design.
- Pattern Matching: How the compiler compiles pattern matching code to be efficient.