Виталий Брагилевский
JetBrains, программа «Современное программирование» факультета математики и компьютерных наук СПбГУ.
Область научных интересов: теория языков программирования, формальные методы в программировании, функциональные языки программирования.
Курсы лекций
3Вывод типов от Хиндли-Милнера до GHC 8.8
5 лекций · Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе
5 лекций · Виталий Брагилевский
Программирование с зависимыми типами на языке Idris
10 лекций · Виталий Брагилевский