Вы здесь

Программирование с зависимыми типами на языке Idris. Лекция 1

Лекция
Предмет:
Дата записи:
11.02.17
Дата публикации:
03.03.17
Код для блога:

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

Страница лекции на Computer Science Club

Другие лекции курса

9