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

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

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

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

Course offerings

Course Semester
Programming with Dependent Types in Idris spring 2017