Лекция 21: Типизация в языках функционального программирования

Классификация языков программирования по видам типизации. Типизированное лямбда исчисление. Вывод типов.







Видеотека

Яндекс.Метрика