Introductory resources to type theory for language implementers
https://www.haskellforall.com/2022/05/introductory-resources-to-type-theory.html