实用编程语言理论基础（原书第2版）

作者简介

---作者简介---<br>罗伯特·哈珀(Robert Harper) 卡内基·梅隆大学计算机科学系教授，他的主要研究兴趣是类型论在编程语言的设计与实现中的应用，以及其元理论的机械化。Harper是Allen Newell卓越研究奖章和Herbert A. Simon卓越教学奖的获得者，并且是ACM会士。<br><br>---译者简介---<br>张昱 博士，中国科学技术大学计算机科学与技术学院、网络空间安全学院副教授。研究兴趣包括程序设计语言、操作系统和并行计算等，特别是面向人工智能和量子计算等新领域的编程系统、软件分析、异构计算与系统优化等。<br><br>胡明哲 中国科学技术大学网络空间安全学院博士研究生。主要研究方向为多语言软件的程序分析。

内容简介