1 skills
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping