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.