An accessible introduction to type theory and implementing a type-checker(mukulrathi.co.uk)5 points by mrathi12 5 years ago | 1 comment