The Implementation of Functional Programming Languages

这本书是关于实现的，而不是语言，它不会试图赞美函数式语言或函数式编程风格的优点。相反，本书将假设读者熟悉函数式编程; 那些不熟悉的人可能会发现它很繁重。

第一部分描述了如何将高级函数式语言转换为称为lambda演算的中间语言，包括模式匹配和类型检查的详细介绍。第二部分从基于图约简的lambda演算的简单实现开始，然后开发了许多改进和替代方法，例如supercombinators，full laziness和SK combinators。最后，第三部分描述了g-machine，这是一种复杂的图形缩减实现，与前面描述的实现相比，它在性能上有了显著的提高。