01:25:49
MIPT-FP-25-Sem-03
Описание
Функциональное программирование в МФТИ. Семинар: бесконечные списки в бестиповом лямбда-исчислении; вывод типов и представление функций в исчислении с простыми типами.
Рекомендуемые видео
ТИТАНЫ, 4 сезон, 3 выпуск
1 708 609 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: ИНЖЕНЕР МАГИЧЕСКИХ СЕТЕЙ
286 262 просмотров
Аватар: Путь воды | Avatar: The Way of Water (2022)
3 761 735 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: СЛЕДОПЫТ ИЗ ДРУГОГО ВРЕМЕНИ
499 428 просмотров
WINLINE Зимний кубок РПЛ 2026. Зенит - ЦСКА
24 329 просмотров
Лига справедливости Зака Снайдера (2021) / Zack Snyder's Justice League
709 603 просмотров
Гарри Поттер и философский камень (фильм, 2001, 1 часть)
14 989 474 просмотров
WINLINE Зимний кубок РПЛ 2026. Динамо - Краснодар
17 641 просмотров
Гарри Поттер и Тайная комната (фильм, 2002, 2 часть)
10 045 632 просмотров
Властелин колец часть I: Братство Кольца (фильм, 2001)
4 541 493 просмотров
ПОПАДАНЦЫ АУДИОКНИГА: ОГНЕННЫЙ МЕЧ ИМПЕРИИ
91 232 просмотров
Аватар (фильм, 2009)
4 204 650 просмотров
Хоббит: Нежданное путешествие | The Hobbit: An Unexpected Journey (2012)
2 122 673 просмотров
Сумерки (фильм,2008)
5 031 884 просмотров
Пираты Карибского моря: Проклятие Черной жемчужины (2003)
2 873 215 просмотров
Властелин колец часть II: Две крепости (фильм, 2002)
1 996 685 просмотров
Пираты Карибского моря: Сундук мертвеца (2006)
2 947 516 просмотров
Гарри Поттер и Дары Смерти: Часть I (фильм, 2010, 7 часть)
6 377 668 просмотров
Пираты Карибского моря 3: На краю Света (2007)
2 057 508 просмотров
Зверополис 2 (мультфильм, 2025)
3 488 391 просмотров