Зарегистрироваться
Восстановить пароль
FAQ по входу

Паулсон Л. Основы функционального программирования

  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Паулсон Л. Основы функционального программирования
Компьютерная лаборатория, Университет Кембридж, 1995 - 45 c.
Курс связан с λ-вычислениями и близкой к ним наукой – комбинаторной логикой
Содержание
Вступление
Равенство и нормализация
Кодирования данных в λ-вычислениях
Написание рекурсивных функций в λ-вычислениях
λ-вычисления и теория вычислений
ISWIM: λ-вычисления как язык программирования
Ленивые вычисления, используя комбинаторы
Методы компиляции, использующие комбинаторы
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация