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