Terms for subject Programming containing typed programming

English	Russian
dependently typed functional programming language	язык функционального программирования с зависимыми типами (Alex_Odeychuk)
dependently typed programming	программирование с зависимыми типами (Alex_Odeychuk)
statically typed object-oriented programming language	статический типизированный язык объектно-ориентированного программирования (IBM Alex_Odeychuk)
strongly typed functional programming	строго типизированное функциональное программирование (Alex_Odeychuk)
strongly typed functional programming	функциональное программирование со строгой типизацией (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)
strongly-typed constraint logic programming	логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk)
typed functional programming	типизированное функциональное программирование (Microsoft Alex_Odeychuk)
typed high-level programming language	типизированный высокоуровневый язык программирования (Alex_Odeychuk)
typed programming	типизированное программирование (ssn)
typed programming language	типизированный язык программирования (ssn)
typed programming languages	типизированные языки программирования (ssn)