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

Лекция 9. Верификация протоколов на типах и определение EDSL
Programming with Dependent Types in Idris

What: Lecture
When: Sunday, 19 February 2017, 13:00–14:30
Where: ПОМИ РАН
Slides: idrisprogramming_lecture_190217.pdf

Video

Attached files

Computer Science Club, 2007–24 гг.