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