- Кембридж, 1997. - 170 с.
Это конспект лекций по курсу Введение в функциональное программирование, который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году.
Оглавление.
Введение.
Лямбда-исчисление.
Лямбда-исчисление как язык программирования.
Типы.
Знакомство с ML.
Более подробно о ML.
Доказательство корректности программ.
Эффективный ML.
Примеры.
Литература.
Это конспект лекций по курсу Введение в функциональное программирование, который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году.
Оглавление.
Введение.
Лямбда-исчисление.
Лямбда-исчисление как язык программирования.
Типы.
Знакомство с ML.
Более подробно о ML.
Доказательство корректности программ.
Эффективный ML.
Примеры.
Литература.