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

Лекция 1. Верификация ПО, соответствие Карри-Ховарда и зависимые типы
Программирование с зависимыми типами на языке Idris

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

Видео

Computer Science Club, 2007–24 гг.