Вы здесь

Виталий Брагилевский

JetBrains, программа «Современное программирование» факультета математики и компьютерных наук СПбГУ.

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

Курсы

Вывод типов от Хиндли-Милнера до GHC 8.8
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Курс (5)
Компилятор GHC языка Haskell: теория языков программирования в работе
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Курс (5)
Программирование с зависимыми типами на языке Idris
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Курс (10)

Лекции

Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 5
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 4
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 3
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 2
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Вывод типов от Хиндли-Милнера до GHC 8.8. Лекция 1
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе. Лекция 5
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе. Лекция 4
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе. Лекция 3
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе. Лекция 2
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Компилятор GHC языка Haskell: теория языков программирования в работе. Лекция 1
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 10
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 9
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 8
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 7
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 6
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 5
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 4
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 3
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 2
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 1
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский