Комбинаторная редукция

Пятница, 27 апреля 2012

ФМЛ 239, Актовый зал

Слайды с лекции

func_prog_lecture_270412.pptx

Описание

Введение в комбинаторную редукцию. Функция абстрагирования от переменных.
Оптимизация Карри и аппликативные подвыражения.
Комбинаторная редукция графов.
Редукция рекурсивных выражений в графах.