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