对各种编程语言概念的出色介绍。使用对编程语言的分析和实现在实践中非常有用的技术，对它们进行了统一且仔细的解释。