An accessible introduction to type theory and implementing a type-checker - discu.eu

Reddit

An accessible introduction to type theory (and implementing our own type-checker!) https://mukulrathi.co.uk/create-your-own-programming-language/intro-to-type-checking/ 3 comments 14/1/2021 programming

Linked pages

GitHub - mukul-rathi/bolt: Bolt is a language with in-built data-race freedom! https://github.com/mukul-rathi/bolt 24 comments

Related searches:

Search whole site: site:mukulrathi.co.uk

Search title: An accessible introduction to type theory and implementing a type-checker

See how to search.

Submit link to: