Типы в языках программирования, 5 курс, 2 семестр, 2016/17 — различия между версиями

Версия 23:44, 21 апреля 2017

Преподаватель -- Елагин Кирилл

@@ Строка 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. Проверка типов]
 == Практика ==