<i>Type safety is the property that no primitive operation ever applies to values of the wrong type.</i><p>&quot;Programming Languages: Application and Interpretation&quot; Shriram Krishnamurthi, 2003.