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

Материал из SEWiki

Версия от 00:49, 17 ноября 2015; AVesloguzova (обсуждение | вклад) (→‎Лекции)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

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

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

Лекции

Простые типы

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

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

Полиморфизм

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

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

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

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

Навигация