程序设计语言理论

书籍简介:

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

书籍规格:

书籍信息归属:

程序设计语言理论是高等教育出版社于2004.09出版的中图分类号为 TP312 的主题关于 程序语言－研究生－教材 的书籍。