Plurrrr

Mon 02 May 2022

Introductory resources to type theory for language implementers

This post briefly tours resources that helped introduce me to type theory, because I’m frequently asked by others for resources on this subject (even though I never had a formal education in type theory). Specifically, these resources will focus more on how to implement a type checker or type inference algorithm.

Source: Introductory resources to type theory for language implementers, an article by Gabriella Gonzalez.