Системы функционального программирования. Основы лямбда-исчисления

Пятница, 23 марта 2012, 18:30–19:50
ФМЛ 239, Актовый зал

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

func_prog_lecture_230312.pptx

Описание

  • Другие стили функционального программирования: ЛИСП.
  • Другие стили функционального программирования: FP.
  • Основы λ-исчисления. λ-выражения и редукции. Нормальная форма.
  • Проблема конфликта имен и СЗНФ.