«Модель типизации Хиндли — Милнера»

Модель типизации Хиндли — Милнера в энциклопедиях