Akademik

static typing

статический контроль типов (до начала выполнения программы, на основе только исходного текста) )

Большой англо-русский и русско-английский словарь. 2001.