English
РусскийТеоретический часть
Практическая часть
Дополнительные материалы:
1. Хендерсон П. Функциональное программирование.- М.: Мир, 1983
2. haskell.org
3. Ездаков А.Л. Функциональное и логическое программирование: учебное пособие. М.: БИНОМ. Лаборатория знаний, 2011. – 120 с. ISBN 978-5-9963-0575-9.
4. Барендрегт Х. Лямбда исчисление. Его синтаксис и семантика, ч.I "На пути к теории", гл.1, 2 и 3, ч.II "Конверсия", гл.6. М., Мир, 1985.