Типы в языках программирования, 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:27, 22 апреля 2017
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и рекурсивные типы
