Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Лекции) |
|||
Строка 2: | Строка 2: | ||
== Лекции == | == Лекции == | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/1-syntax-and-semantics.html Лекция 1. Синтакс и семантики] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/2-stlc.html Лекция 2. Простое типизированное лямбдя-исчисление] | ||
+ | |||
+ | [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/5-System-F.html Лекция 5. System F] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/6-System-F-omega.html Лекция 6. System Fω] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/7-dependent.html Лекция 7. Зависимые типы] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/8-PTS.html Лекция 8. Зависимые типы] | ||
+ | |||
+ | [https://kir.elagin.me/edu/types/9-type-checking-and-co.html Лекция 9. Проверка типов] | ||
== Практика == | == Практика == |
Версия 23:44, 21 апреля 2017
Преподаватель -- Елагин Кирилл
Лекции
Лекция 2. Простое типизированное лямбдя-исчисление
Лекция 4. АТД и рекурсивные типы