Terms containing type inference

Subject	English	Russian
progr.	Damas-Milner type inference algorithm	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)
progr.	extend type inference to declarations of local variables with initializers	распространить вывод типов на объявления локальных переменных с инициализаторами (InfoWorld, USA Alex_Odeychuk)
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)