An accessible introduction to type theory and implementing a type-checker

Posted by mrathi12 on Saturday December 05, 2020 @11:40AM
from the mukulrathi.co.uk dept.

( 1 comment | 5 points | on HN )

Re:An accessible introduction to type theory and implementin... by mrathi12 on Saturday December 05, 2020 @11:41AM (#25315827)

Author here! Feel free to ask questions about the post :)

[ Parent | on HN ]