Типы в языках программирования 6 2015 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
 
(не показана 1 промежуточная версия 1 участника)
Строка 17: Строка 17:
  
 
[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы]
 
[https://drive.google.com/file/d/0BxArEg5IgerybVExdktxZ1FKNk1pYWVLdmhacUtWbjZDeDFN/view?usp=sharing Экзистенциальные типы]
 +
 +
[https://drive.google.com/file/d/0BxArEg5IgerybVBKQkxmQkNDS09FZ20ySF83VFJLZThvWXo4/view?usp=sharing Ограниченная квантификация]
 +
 +
== Распределение по темам ==
 +
[https://docs.google.com/spreadsheets/d/1h0h6VTEd432tSy2G-lrtPvi7q3wvDJyq5HI-6n0W6gs/edit#gid=0&vpid=A1 Таблица]

Текущая версия на 19:14, 24 ноября 2015

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

Лекции

Простые типы

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

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

Ссылки

Подтипы

Полиморфизм

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

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

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

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

Таблица