Вы здесь

  • Войдите, чтобы отправлять комментарии

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

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Виталий Брагилевский
Курс лекций:
Дата записи:
11.02.17
Дата публикации:
03.03.17
Код для блога:

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

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

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

9
Программирование с зависимыми типами на языке Idris. Лекция 2
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 3
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 4
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 5
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 6
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 7
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 8
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 9
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский
Программирование с зависимыми типами на языке Idris. Лекция 10
Computer Science клуб при ПОМИ РАН
Виталий Брагилевский