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

Лекция 7. Доказательство теорем
Programming with Dependent Types in Idris

What: Lecture
When: Saturday, 18 February 2017, 19:15–20:50
Where: ПОМИ РАН

Description

Слайды к этой лекции объединены со слайдами к лекции 6.

Video

Computer Science Club, 2007–24 гг.