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

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


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

Видео

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