Edit

Papers on OCaml

Types

• 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.

Miscellaneous

• Format Unravelled: The Format module and its design.
• Pattern Matching: How the compiler compiles pattern matching code to be efficient.

Multicore

• Parallel GC Design