Type system

Updated: Feb 20, 2018 by Pradeep Gowda.

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