Языки программирования и компиляторы (2013). Лекция 10
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
18.11.13
Дата публикации:
18.11.13
Код для блога:
Экзистенциальные типы и абстрактные типы данных
Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10