The standard reference, if there is one, is Benjamin Pierce's "Types and Programming Languages" book.