Вывод типов
Пятница, 06 апреля 2018
НГУ, ауд. 2128, НГУ, новый корпус
Вывод типов. Главный (наиболее общий) тип. Свойства подстановки типов. Композиция подстановок. Унификатор, теорема унификации. Главная пара. Алгоритм Хиндли-Милнера.