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

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

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

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

Курс Семестр
Системы типизации лямбда-исчисления весна 2011
Функциональное программирование весна 2014
Функциональное программирование весна 2015
Функциональное программирование весна 2016
Функциональное программирование весна 2017