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

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

JetBrains, СПбГУ

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

Course offerings

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

Photos