язык с контролем типов, типизированный язык см. тж. data type, programming language, type conversion Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog — Visual Prolog - базирующийся на Прологе строго типизированный объектно-ориентированный язык
TYPED LANGUAGE
Англо-русский перевод TYPED LANGUAGE
Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. 1998-2004