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

Лекция 8. Вычисления с эффектами
Programming with Dependent Types in Idris

What: Lecture
When: Sunday, 19 February 2017, 11:15–12:50
Where: ПОМИ РАН
Slides: idrisprogramming_lecture_190217.pdf

Video