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

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

== Лекции ==

[[Медиа:Tapl01_2018.pdf|Лекция 1. Язык арифметических выражений]]

[[Медиа:Tapl02_2018.pdf|Лекция 2. Простые типы]]

[[Медиа:Tapl03_2018.pdf|Лекция 3. Простые расширения]]

[[Медиа:Tapl04_2018.pdf|Лекция 4. Обитаемость простых типов]]

[[Медиа:Tapl05_2018.pdf|Лекция 5. Нормализация для простой системы]]

[[Медиа:Tapl06_2018.pdf|Лекция 6. Подтипы]]

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

[[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]]

[[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]]

[[Медиа:Tapl08_2018.pdf|Лекция 8. Экзистенциальные типы]]

[[Медиа:Tapl09_2018.pdf|Лекция 9. Cистема λω: операторы над типами]]

[[Медиа:Tapl10_2018.pdf|Лекция 10. Зависимые типы: система λP]]

[[Медиа:Tapl11_2018.pdf|Лекция 11.  λ-куб и чистые системы типов (PTS)]]

[[Медиа:Tapl12_2018.pdf|Лекция 12. Логические системы]]

== Практика ==

[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями]

'''[https://docs.google.com/spreadsheets/d/1Nw39sim23x9sQ-odIjLK3NgJhp1VqD7rYvARbbVb3kg/edit?usp=sharin Таблица с результатами]'''