Definition, synonyms and related words
A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact.