Wiktionary
strong typing
n. (context computing programming English) A system that places any of various kinds of restriction on the interactions between objects of different data types.