Essence and Foundation of the Practical Type System (PTS)

Goals and non-goals, history, core types and features that shouldn’t be supported in a PTS.

Click here to read the article