English ⇄ Russian

type inferencer stresses
progr.	механизм вывода типов (InfoWorld Alex_Odeychuk); машина вывода типов (составная часть компилятора языка программирования с автоматическим выводом типов; InfoWorld Alex_Odeychuk)