OCaml Advanced

Beyond OCaml Intermediate. Functors, GADTs, polymorphic variants, lazy evaluation, the Pervasives module. The features behind Jane Street's libraries and the Coq proof assistant.