OCaml Programming: Correct + Efficient + Beautiful This is the course textbook for CS 3110 at Cornell University.