Introduction to Formal Methods CS 5860

CS 5860 Fall 14:

Announcements:

Projects due Thursday, December 11. Early submissions greatly encouraged!

Instructor:

Robert Constable

Time:

Mon/Weds

10:10AM - 11:25AM

Location:

Upson 211

Textbook
CS5860 - Fall 2014

Type Theory and Functional Programming

Simon Thompson

March 1999

Despite its old age, this is the best available book on dependent types. It has its drawbacks, there are a lot of areas which aren't covered well. However, it's way better than any tutorials on dependent types you can find on internet.