Akademik
контроль типов
typing
,
type checking
,
type-checking
Большой англо-русский и русско-английский словарь
.
2001
.