
Денис Москвин
Доцент кафедры математических и информационных технологий, СПбАУ РАН. Один из основателей и координаторов Санкт-Петербургской группы пользователей Haskell (SPbHUG).
Область научных интересов: функциональные языки программирования и их системы типов.
Курсы лекций
3Проблемы населенности типов и их разрешимость
2 лекции · Денис Москвин
Системы типизации лямбда-исчисления
8 лекций · Денис Москвин
Функциональное программирование | Денис Москвин
14 лекций · Денис Москвин