Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский English

Денис Николаевич Москвин

Доцент кафедры математических и информационных технологий СПбАУ РАН.

Интересы: функциональные языки программирования и их системы типов.

Прочтения курсов

Курс Семестр
Системы типизации лямбда-исчисления весна 2011