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

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Лекции)
(→‎Лекции)
Строка 22: Строка 22:
  
 
[https://kir.elagin.me/edu/types/10-catamorphisms.html Лекция 10. Катаморфизмы]
 
[https://kir.elagin.me/edu/types/10-catamorphisms.html Лекция 10. Катаморфизмы]
 +
 +
[https://kir.elagin.me/edu/types/11-subtyping.html Лекция 11. Подтипы]
 +
 +
[https://kir.elagin.me/edu/types/12-existential.html Лекция 12. Экзистенциальные типы]
 +
 +
[https://kir.elagin.me/edu/types/13-misc.html Лекция 13. Обзор: зипперы, типы-пересечения, субструктурные логики]
  
 
== Практика ==
 
== Практика ==

Версия 04:26, 23 мая 2017

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

Лекции

Лекция 1. Синтакс и семантики

Лекция 2. Простое типизированное лямбдя-исчисление

Лекция 3. Нормализация

Лекция 4. АТД и рекурсивные типы

Лекция 5. System F

Лекция 6. System Fω

Лекция 7. Зависимые типы

Лекция 8. Чистые системы типов

Лекция 9. Проверка типов

Лекция 10. Катаморфизмы

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

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

Лекция 13. Обзор: зипперы, типы-пересечения, субструктурные логики

Практика

Ссылки

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Типы_в_языках_программирования,_5_курс,_2_семестр,_2016/17&oldid=11318»