Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Некоторые аномалии, возникающие при использовании универсальных поверхностных типов. Экзистенциальное представление потоков. Объектно-ориентрованные аналогии. Структурный и номинальный сабтайпинг. Объектная система языка Objective Caml. Лекция №10 в курсе "Языки программирования и компиляторы" (осень 2013). Преподаватель курса: Дмитрий Булычев. Страница лекции на сайте CS центра:
