Типы в языках программирования весна 2018 — различия между версиями
Материал из SEWiki
Moskvin (обсуждение | вклад) (→Лекции) |
Moskvin (обсуждение | вклад) (→Лекции) |
||
| Строка 17: | Строка 17: | ||
Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин) | Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин) | ||
| − | [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]] | + | [[Медиа:Tapl07_2018.pdf|Лекция 7. Полиморфные типы: система λ2 (System F)]] [[Медиа:Tapl07_2018pr.pdf|Практика 7. Полиморфные типы: система λ2 (System F)]] |
== Практика == | == Практика == | ||
[https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями] | [https://stepik.org/invitation/c48bc7cb0aac8846b5fd4436ddac755d852013cc/ Ссылка-приглашение на stepik-курс с домашними заданиями] | ||
Версия 20:30, 11 апреля 2018
Преподаватель: Москвин Денис Николаевич (dmoskvin@gmail.com)
Лекции
Лекция 1. Язык арифметических выражений
Лекция 4. Обитаемость простых типов
Лекция 5. Нормализация для простой системы
Лекция 6'. Субструктурные системы типов (гостевая, Кирилл Елагин)
Лекция 7. Полиморфные типы: система λ2 (System F) Практика 7. Полиморфные типы: система λ2 (System F)
