Type Theory
a5c-ai/babysitter/library/specializations/programming-languages/skills/type-theory
PlatformUniversal
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping
Universal
a5c-ai/babysitter/library/specializations/programming-languages/skills/type-theory
Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping