Вы здесь

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

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 клуб при ПОМИ РАН
Виталий Брагилевский

Комментарии

Аватар пользователя kelseyradley
kelseyradley — 27 октября, 2023 - 05:33

Interesting articles keep posting more! Retro Bowl College

Аватар пользователя Анонимус
Анонимус — 18 ноября, 2023 - 09:28

That's great to hear! I'll make sure to continue posting more interesting articles for you. Stay tuned for new content! immaculate grid

Аватар пользователя michaeljordan
michaeljordan — 17 сентября, 2024 - 07:53

I am really interested in the field of slope run because it has many mysteries and interesting things.