Terms for subject Programming containing type-safe code

English	Russian
type-safe code	код, безопасный по отношению к типам (код, совершающий над типами и экземплярами типов только разрешенные операции ssn)
type-safe code	типобезопасный код (Alex_Odeychuk)