City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Лекция 1. Верификация ПО, соответствие Карри-Ховарда и зависимые типы
Programming with Dependent Types in Idris
What:
Lecture
When:
Saturday, 11 February 2017, 17:20–18:50
Where:
ПОМИ РАН
Slides:
idrisprogramming_lecture_110217.pdf
Video
