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

Лекция 4. Типы как сущности первого класса, функции на типах
Программирование с зависимыми типами на языке Idris


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

Видео