Type Theory

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