Russian ⇄ English

типизация по модели Хиндли-Милнера stresses
progr.	Hindley-Milner typing (включает в себя типы высших порядков, полиморфные типы, абстрактные и алгебраические типы данных, синонимы типов; из кн.: Душкин Р.В. Функциональное программирование на языке Haskell Alex_Odeychuk)