Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Ссылки) |
(→Лекции) |
||
Строка 9: | Строка 9: | ||
[https://kir.elagin.me/edu/types/3-normalization-and-pfc.html Лекция 3. Нормализация] | [https://kir.elagin.me/edu/types/3-normalization-and-pfc.html Лекция 3. Нормализация] | ||
− | [https://kir.elagin.me/edu/types/4-ADTs-and-mu.html Лекция 4. АТД и рекурсивные типы] | + | [https://kir.elagin.me/edu/types/4-ADTs-and-mu.html Лекция 4. АТД и μ-рекурсивные типы] |
[https://kir.elagin.me/edu/types/5-System-F.html Лекция 5. System F] | [https://kir.elagin.me/edu/types/5-System-F.html Лекция 5. System F] |
Версия 00:26, 22 апреля 2017
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и μ-рекурсивные типы