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


Что: Лекция
Когда: Пятница, 23 марта 2012, 18:30–19:50
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_lecture_230312.pptx

Описание

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

Материалы