本书是一本很有特色的教材，其核心是讨论程序设计语言的工作原理和技术。本书融合了传统的程序设计语言教科...
2007.05
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统...
2006.10
本书是一本很有特色的教材，其核心是讨论程序设计语言的工作原理和技术。本书融合了传统的程序设计语言教科...
2005.03
本书介绍了程序设计语言的一般概念，包括程序设计语言的语法和语义，涉及命令式语言、面向对象语言、函数式...
2004.04
本书是一本很有特色的计算机教材，其核心是讨论程序设计语言的基本原理和技术。本书融合了传统的程序设计语...
2012.7