Johns Hopkins University: Scott F. Smith's "Principles of Programming Languages"

Read Chapter 6, which discusses type systems.

Click http://web.archive.org/web/20150301083854/http://pl.cs.jhu.edu/pl/book/dist/book/book.pdf link to open resource.