אנגלית ⇄ רוסית +

Damas-Milner type inference algorithm מתח
.תִכנו	алгоритм вывода типов Дамаса-Милнера (Alex_Odeychuk)