Программирование с зависимыми типами на языке Idris. Лекция 1
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
11.02.17
Дата публикации:
03.03.17
Код для блога:
Верификация ПО, соответствие Карри-Ховарда и зависимые типы
Страница лекции на Computer Science Club
Другие лекции курса
9