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

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

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

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