Типы в языках программирования весна 2018

Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com

Лекции

Лекция 1. Язык арифметических выражений

Лекция 2. Простые типы

Лекция 3. Простые расширения

Лекция 4. Обитаемость простых типов

Лекция 5. Нормализация для простой системы

Лекция 6. Подтипы

Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)

Лекция 7. Полиморфные типы: система λ2 (System F)

Практика 7. Полиморфные типы: система λ2 (System F)

Лекция 8. Экзистенциальные типы

Лекция 9. Cистема λω: операторы над типами

Лекция 10. Зависимые типы: система λP

Лекция 11. λ-куб и чистые системы типов (PTS)

Лекция 12. Логические системы

Практика

Ссылка-приглашение на stepik-курс с домашними заданиями

Таблица с результатами