1. 13

I found this page from Cornell University from the Fall of 2017 this morning. While I’ve done a bit of Haskell and Rust, I’ve never really gotten into OCaml. Lots of good explanations here.

Towards the end they switch from utilizing OCaml to Coq to introduce formal methods.

  1.  

  2. 4

    Found the most recent class, it has a book they have written for the class https://www.cs.cornell.edu/courses/cs3110/2018fa/ although I am sad there is no recording of the class. The first slide for the first class says the music is from Final Fantasy VII, seems like it would be a fun class thumbing through the slides.

    1. 1

      Wow yes. Great find. I like that they have consolidated the course into a gitbook: https://www.cs.cornell.edu/courses/cs3110/2018fa/textbook/