strong typing

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A system that places any of various kinds of restriction on the interactions between objects of different data types.