Реализация алгоритма вывода типов

Среда, 13 мая 2015
Таймс, ауд. 404

Слайды с лекции

func_prog_seminar_130515.pdf

Описание

Реализация алгоритма вывода типов на Haskell.