Экзистенциальные типы и абстрактные типы данных

Понедельник, 18 ноября 2013, 20:00–21:20
ФМЛ 239, Актовый зал

Описание

Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml.