Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Полиморфные системы типов
Системы типизации лямбда-исчисления

Что: Лекция
Когда: Воскресенье, 27 марта 2011, 11:15–12:50
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_270311.pdf

Описание

Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление \( \forall \). Проблемы разрешимости в полиморфном \( \lambda \)-исчислении в стиле Карри. Let-полиморфизм. Полиморфизм высших рангов. Система \( \lambda2 \) в стиле Чёрча. Универсальные абстракция и применение. Импредикативность. Связь между \( \lambda2 \) в стиле Карри и Черча. Сильная нормализация. Интерпретации \( \forall \)-типов. Параметричность.

Видео