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:

Papers

Discussions

Articles

Courses