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

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

Институт математики, механики и компьютерных наук Южного федерального университета (Ростов-на-Дону), комитет по стандартизации языка Haskell 2020.

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

Курс Семестр
Программирование с зависимыми типами на языке Idris весна 2017