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

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



';



Видеотека

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