Город: Санкт-Петербург Казань Язык: Русский English

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

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

Прочтения курсов

Курс Семестр
Программирование с зависимыми типами на языке Idris весна 2017
Компилятор GHC языка Haskell: теория языков программирования в работе весна 2018
Вывод типов от Хиндли — Милнера до GHC 8.8 весна 2019

Фотографии