City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

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

JetBrains, СПбГУ

Сотрудник компании JetBrains, преподаватель факультета математики и компьютерных наук СПбГУ, член наблюдательного комитета компилятора GHC (Glasgow Haskell Compiler) и комитета по стандартизации языка Haskell, автор книги Haskell in Depth (Manning Publications).

Course Offerings

Course Semester
Type inference from Hindley-Milner to GHC 8.8 spring 2019
The Glasgow Haskell Compiler: theory of programming languages at work spring 2018
Programming with Dependent Types in Idris spring 2017

Photos

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