类型系统

Types and programming-languages

Benjamin C. Pierce

编程语言类型系统计算机科学