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:

• Types and Programming Languages by Benjamin Pierce
• Practical Foundations for Programming Languages by Robert Harper

Papers

• @Cardelli:1996:TS:234313.234418 PDF
• Uniqueness typing. See also: An Interactive Tutorial of the Sequent Calculus
• Fool’s choice: A tale of two types

Discussions

• What are the safety benefits of a type system? - Programmers Stack Exchange
• How to crap-talk Ruby and Clojure when the authors of these languages are in the audience : programming

Articles

• Why Type Systems Matter | Matthias Endler ; August 2017.
• What is Hindley-Milner? (and why is it cool?) - Code Commit; HN

Courses

• Type Systems Seminar (Winter 2018 @ Northwestern)