Type system

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

References
Missing citation