In Luca Cardelli's article Typeful Programming, a "strong type system" is described as one in which there is no possibility of an unchecked runtime type error.
Luca Cardelli artiklis „Typeful Programming“ kirjeldatakse „tugevat tüübisüsteemi“ kui süsteemi, milles ei ole võimalikud kontrollimata käitusaegsed tüübivead.