An accessible introduction to type theory and implementing a type-checker(mukulrathi.co.uk)
mukulrathi.co.uk
An accessible introduction to type theory and implementing a type-checker
https://mukulrathi.co.uk/create-your-own-programming-language/intro-to-type-checking/
1 comments
Author here! Feel free to ask questions about the post :)