Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English
Computer Science Club

Лекция 9. Верификация протоколов на типах и определение EDSL
Программирование с зависимыми типами на языке Idris

Что: Лекция
Когда: Воскресенье, 19 февраля 2017, 13:00–14:30
Где: ПОМИ РАН
Слайды: idrisprogramming_lecture_190217.pdf

Видео

Приложенные файлы

Computer Science Club, 2007–24 гг.