| Subject | English | Russian |
| 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) |