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

Лекция 6. Выражение отношений на данных средствами зависимых типов
Программирование с зависимыми типами на языке Idris


Что: Лекция
Когда: Суббота, 18 февраля 2017, 17:20–18:55
Где: ПОМИ РАН
Слайды: 2017_02_18_idrisprogramming_2017_spring_ADMbCD2.pdf

Видео