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

Лекция 10. Представления и конструкция with
Программирование с зависимыми типами на языке Idris

Что: Лекция
Когда: Воскресенье, 19 февраля 2017, 15:30–17:00
Где: ПОМИ РАН

Описание

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

Видео

Computer Science Club, 2007–24 гг.