Лекция 8 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский

423
28.2
Лекториум194 тыс
Следующее
04.03.17 – 2981:18:51
Лекция 9 | Программирование с зависимыми типами на языке Idris | Виталий Брагилевский
Популярные
71 день – 1578:13
7.1 Птицы Черного и Азовского морей | Биология Черного и Азовского морей
72 дня – 1 0541:47
Шоу перфекционистов 4.1 | Одежда | Анастасия Грибановская | Лекториум
Опубликовано 4 марта 2017, 14:48
Лекция 8 | Курс: Программирование с зависимыми типами на языке Idris | Лектор: Виталий Брагилевский | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/29859

Другие лекции по курсу "Программирование с зависимыми типами на языке Idris" доступны для просмотра по ссылке: lektorium.tv/Zqe

Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
2 дня – 32040:11
Как мы учились управлять миллионами учетных записей и их секретами / Дмитрий Чехлыстов (Сбер)
2 дня – 5 6691:23:13
В чем смысл Рождества? / Why the Nativity? (фильм, 2022)
2 дня – 7854:41
Что такое "психологическая устойчивость", или Как помочь подростку сохранить внутреннюю...
4 дня – 43824:30
Навыки крепкого коллективизма
5 дней – 4431:56:46
Беседа с Евгением Багаевым 22.12.24. Осознанность, равновесие, мировоззрение.
7 дней – 9731:00
Почему важно сохранять идентичность в современном мире? «Мужчина, вы куда?» Подкаст #Коньяк #Подкаст
Случайные видео
308 дней – 90437:15
Косплей, пластический грим и создание костюмов. Экскурсия по мастерской FX-Shop
357 дней – 1 2182:57
Наша пирамида власти. Алексей Орлов.
02.09.23 – 3 6620:57
«Я ЗНАЛ, что моя жена должна быть служителем». Артур Симонян. #shorts #христианство
16.02.23 – 873 54338:18
Это уничтожает все цивилизации! (Великий фильтр)
11.09.21 – 5251:30:59
ВМЕШАЙСЯ, ГОСПОДЬ! Прямой эфир из Петербурга
16.01.12 – 10 82311:38
06. Как ощутить источник внимания (практика)
12 часов – 76557:40
Психология и мандалы - это совместимо?
1 день – 7049:33
МЫСЛИ О ХРИСТЕ. «Да будет свет» (453 1208)
1 день – 3956:00
Сенсорный опыт (2 часть): эко-техники безопасного проживания чувств
10 дней – 363:17:34
Установочная сессия 4 курс Введение в бизнес-администрирование
12 дней – 2 0590:39
Разговоры о важном с детьми #shorts #психология #дети #поведение #клиническаяпсихология
14 дней – 33321:51
Как начиналось Народное Славянское радио. Алексей Орлов
15 дней – 1 34113:00
Уникальная в году ожидается Предновогодняя встреча! Автор и соавторы Метода Ключ Хасая Алиева.
11 часов – 4127:47
Как воспитывать биоробота?
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское