4An accessible introduction to type theory and implementing a type-checker (opens in new tab)(mukulrathi.co.uk)5mrathi125y ago1
5An accessible introduction to type theory and implementing a type-checker (opens in new tab)(mukulrathi.co.uk)7mrathi125y ago3