Ability to read type rules is an important skill when reading Programming Langauge theory papers.
The two books that have been mentioned in relation to learning type systems are: