strong typing
Short definition from Wiktionary
Noun
- A system that places any of various kinds of restriction on the interactions between objects of different data types.
We haven’t written up strong typing yet: Simple and Standard meanings, examples and a quiz.