The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful" - View it on GitHub