«type safety»

type safety в энциклопедиях

Источники

типовая безопасность (обеспечивается наличием контроля типов (type checking), а также корректным использованием шаблонных классов (template class) )