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

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


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

Видео