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

5 points by mrathi12 4 years ago | 1 comment
  • mrathi12 4 years ago
    Author here! Feel free to ask questions about the post :)