MIPT-FP-25-Sem-03

Функциональное программирование в МФТИ. Семинар: бесконечные списки в бестиповом лямбда-исчислении; вывод типов и представление функций в исчислении с простыми типами.

Видео MIPT-FP-25-Sem-03 автора evgeny.dashkov