City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Лекция 10. Представления и конструкция with
Programming with Dependent Types in Idris
What:
Lecture
When:
Sunday, 19 February 2017, 15:30–17:00
Where:
ПОМИ РАН
Description
Слайды к этой лекции объединены со слайдами к лекции 9.
Video
