Learn to program in OCaml! The textbook is "OCaml Programming: Correct + Efficient + Beautiful": https://cs3110.github.io/textbook The lecturer is Michael Clarkson: https://www.cs.cornell.edu/~clarkson/
No download links available.
