Resources

Text books

A number of excellent books and on-line resources overlap with the course's content and can provide alternate explanations despite differences in notation and approach. Let the instructor know if you have trouble finding the intersection between these resources and the course content.

Pointers from Lectures

OCaml resources

See also the CS51 Resources web page for OCaml books, references, and tutorials.

Coq resources

Dafny resources

Haskell resources