Definition, synonyms and related words
The specification of data types in an otherwise untyped language, to enforce variables having a particular type.