Noun
type system (plural type systems) (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.