City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

Лекция 2. Интерактивная разработка через типы
Programming with Dependent Types in Idris

What: Lecture
When: Saturday, 11 February 2017, 19:10–20:50
Where: ПОМИ РАН
Slides: idrisprogramming_lecture_110217.pdf

Video

Computer Science Club, 2007–24 гг.