Terms for subject Programming containing typed programming languages

English	Russian
dependently typed functional programming language	язык функционального программирования с зависимыми типами (Alex_Odeychuk)
statically typed object-oriented programming language	статический типизированный язык объектно-ориентированного программирования (IBM Alex_Odeychuk)
strongly typed high-level programming language	строго типизированный высокоуровневый язык программирования (компании Embarcadero Technologies Alex_Odeychuk)
strongly typed object-oriented programming language	строго типизированный язык объектно-ориентированного программирования (Alex_Odeychuk)
strongly typed object-oriented programming language	язык объектно-ориентированного программирования со строгой типизацией (Alex_Odeychuk)
strongly typed programming language	строго типизированный язык программирования (ssn)
strongly typed programming languages	строго типизированные языки программирования (ssn)
typed high-level programming language	типизированный высокоуровневый язык программирования (Alex_Odeychuk)
typed programming language	типизированный язык программирования (ssn)
typed programming languages	типизированные языки программирования (ssn)