Чистое лямбда-исчисление

Пятница, 30 марта 2012

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

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

func_prog_lecture_300312.pptx

Описание

Рекурсия в λ-исчислении. Y-комбинатор.
Чистое λ-исчисление. Представление логических значений и функций, списков, арифметики целых чисел.
Интерпретаторы функциональных программ. Представление функциональных программ на языке Haskell.