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

Материал из SEWiki
Версия от 19:14, 24 ноября 2015; Adkozlov (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

Лекции

Простые типы

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

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

Ссылки

Подтипы

Полиморфизм

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

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

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

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

Таблица

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