strong typing

Noun

 * 1)  A system that places any of various kinds of restriction on the interactions between objects of different data types.