Типы в языках программирования весна 2018 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(Лекции)
(Лекции)
 
Строка 26: Строка 26:
  
 
[[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]]
 
[[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]]
 +
 +
[[Медиа:Tapl11_2018.pdf|Лекция 11.  λ-куб и чистые системы типов (PTS)]]
 +
 +
[[Медиа:Tapl12_2018.pdf|Лекция 12. Логические системы]]
  
 
== Практика ==
 
== Практика ==

Текущая версия на 21:01, 23 мая 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-курс с домашними заданиями

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