You are currently at the new webpage of the Club. The list of all courses of the Club is available at the old page: old.compsciclub.ru
City: Saint-Petersburg Kazan Language: Русский English

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

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

Course offerings

Курс Семестр
Programming with Dependent Types in Idris spring 2017