Типы в языках программирования 6 2015

Материал из SEWiki
Перейти к: навигация, поиск

Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)

Лекции

Простые типы

Простые расширения

Нормализация

Ссылки

Подтипы

Полиморфизм

Универсальные типы

Экзистенциальные типы

Ограниченная квантификация

Распределение по темам

Таблица

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Типы_в_языках_программирования_6_2015&oldid=6980»