Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Ссылки) |
(→Лекции) |
||
Строка 27: | Строка 27: | ||
[https://kir.elagin.me/edu/types/12-existential.html Лекция 12. Экзистенциальные типы] | [https://kir.elagin.me/edu/types/12-existential.html Лекция 12. Экзистенциальные типы] | ||
− | [https://kir.elagin.me/edu/types/13-misc.html Лекция 13. Обзор: зипперы, типы-пересечения, субструктурные | + | [https://kir.elagin.me/edu/types/13-misc.html Лекция 13. Обзор: зипперы, типы-пересечения, субструктурные системы типов] |
== Практика == | == Практика == |
Версия 05:17, 23 мая 2017
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и рекурсивные типы
Лекция 8. Чистые системы типов
Лекция 12. Экзистенциальные типы
Лекция 13. Обзор: зипперы, типы-пересечения, субструктурные системы типов