Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Лекции) |
(→Лекции) |
||
Строка 20: | Строка 20: | ||
[https://kir.elagin.me/edu/types/9-type-checking-and-co.html Лекция 9. Проверка типов] | [https://kir.elagin.me/edu/types/9-type-checking-and-co.html Лекция 9. Проверка типов] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/10-catamorphisms.html Лекция 10. Катаморфизмы] | ||
== Практика == | == Практика == |
Версия 20:00, 24 апреля 2017
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и рекурсивные типы