Типы в языках программирования, 5 курс, 2 семестр, 2016/17
Материал из SEWiki
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и μ-рекурсивные типы
Преподаватель -- Елагин Кирилл
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и μ-рекурсивные типы