程序设计语言理论

本书为研究生系列教材之一。本书基于一个叫做λ演算的数学系统，而不是特定程序设计语言来分析程序设计语言的语法性质、操作性质和语义性质。全书强调顺序语言，但是其中许多概念和技术可以应用到并行程序设计语言，为了让读者把精力主要放在对概念的理解上，本书略去了很多定理的烦琐证明。全书共9章，主要内容包括：引言，可计算函数程序设计语言，泛代数和代数数据类型，简单类型化λ演算，类型化λ演算的模型，命令式程序，多态性，子定型及有关概念，类型推断。