Филд А., Харрисон П. — Функциональное программирование

Первая часть книги содержит обзор ФП, вторая — основы реализации ФЯ (лямбда исчисление, типы, eval-apply, SECD-машина, редукция графов, комбинаторная редукция, сборка мусора). В приложении можно почитать про денотационную семантику. Вторая часть наиболее ценна.