（中译本类型和程序设计语言，马世龙等译）。

Benjamin C. Pierce. Types and Programming Languages.

youdao

注意：OWL中值域和定义域信息的使用与程序设计语言中的类型信息有所不同。

Note that the use of range and domain information in OWL is different from type information in a programming language.

youdao

类型系统是一种设计和研究程序设计语言的形式化方法和工具。

The type system is a formal method and tool for designing and studying programming languages.

youdao

类型系统是一种设计和研究程序设计语言的形式化方法和工具。

The type system is a formal method and tool for designing and studying programming languages.

youdao