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

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

Южный Федеральный Университет, Ростов-на-Дону

Course offerings

Course Semester
Programming with Dependent Types in Idris spring 2017
The Glasgow Haskell Compiler: theory of programming languages at work spring 2018
Вывод типов от Хиндли — Милнера до GHC 8.8 spring 2019

Photos