Инструменты пользователя

Инструменты сайта


courses:functional_programming:materials

Учебные материалы

λ-исчисление и типы

Литература

  • Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985)
  • Introduction to Lambda Calculus. Henk Barendregt, Erik Barendsen
  • Lambda-Calculus and Combinators An Introduction(2nd Edition). J. Roger Hindley Jonathan P. Seldin (2008)
  • Типы в языках программирования, Пирс Б., Изд: Лямбда пресс, Добросвет (2012)

Видео

Haskell

Литература

Видео

Код с пар

Scala, Java, Python...

LaTeX

Для повышения уровня математической культуры и общего развития