| Subject | English | Russian |
| progr. | Damas-Milner type inference algorithm | алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk) |
| progr. | exploit reflection and type inference | использовать отражение и вывод типов (Alex_Odeychuk) |
| progr. | extend type inference to declarations of local variables with initializers | распространить вывод типов на объявления локальных переменных с инициализаторами (InfoWorld, USA Alex_Odeychuk) |
| comp., MS | local type inference | вывод локального типа (A process in which the compiler infers the type of a local variable that is declared with the var keyword in C or without an As clause in Visual Basic. The compiler infers the type of the variable from the type of the initializer expression) |
| progr. | local variable-type inference | вывод типов локальных переменных (Alex_Odeychuk) |
| math. | mamdani-type inference | логический вывод типа Мамдани |
| progr. | number of inference rules in the type system | количество правил выведения типов в системе типов (Alex_Odeychuk) |
| progr. | static type inference | статический вывод типа (ssn) |
| progr. | through type inference | с использованием вывода типов (Alex_Odeychuk) |
| progr. | type inference | вывод типа (ssn) |
| progr. | type inference | выведение типа (ssn) |
| progr. | type inference | вывод типов (возможность компилятора самому логически вывести тип значения у выражения. Вывод типов не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода; Microsoft Alex_Odeychuk) |
| comp., MS | type inference | определение типа (A process in which the compiler determines the data type of a local variable that has been declared without an explicit data type declaration. The type is inferred from the initial value provided for the variable) |
| progr. | type inference algorithm | алгоритм вывода типов (Alex_Odeychuk) |
| progr. | type inference and polymorphic functions | выведение типа и полиморфные функции (ssn) |
| progr. | type inference for immutable variables | вывод типов неизменяемых переменных (IBM Alex_Odeychuk) |
| progr. | type inference for integer literals | выведение типов целочисленных литералов (Alex_Odeychuk) |
| progr. | type inference for object literals | вывод типов объектных литералов (Alex_Odeychuk) |
| progr. | type inference for the arguments of a closure | вывод типов аргументов замыкания (IBM Alex_Odeychuk) |
| progr. | type inference for the arguments of a closure | вывод типов аргументов замыкания (Alex_Odeychuk) |
| progr. | type, mode, and determinism inference | вывод типов, режима передачи параметров и детерминизма предикатов (University of Melbourne, Австралия Alex_Odeychuk) |
| progr. | type, mode, and determinism inference | вывод типов, режима передачи параметров и детерминизма (Alex_Odeychuk) |
