實(shí)用編程語言理論基礎(chǔ)（原書第2版）

本書提出了一種基于類型系統(tǒng)和結(jié)構(gòu)操作語義的編程語言理論。第2版經(jīng)過全面修訂，幾乎每章都包含習(xí)題，并新增一章討論類型細(xì)化。本書涉及的概念廣泛，包括：基本數(shù)據(jù)類型，多態(tài)和抽象類型，動態(tài)定型，動態(tài)分派，子類型和類型細(xì)化，符號和動態(tài)分類，并行和成本語義，并發(fā)和分布。書中對不同編程語言的特性做了分析、證明和比較，所提供的方法可直接應(yīng)用于語言的實(shí)現(xiàn)、程序推理邏輯的研發(fā)以及語言特性的形式化驗(yàn)證，具有較高的實(shí)用性。

本書不僅可以作為高等學(xué)校計(jì)算機(jī)相關(guān)專業(yè)的編程語言理論課程教材，也可供相關(guān)領(lǐng)域的科研人員和技術(shù)人員參考閱讀。

Robert Harper，卡內(nèi)基·梅隆大學(xué)計(jì)算機(jī)科學(xué)系教授。主要研究興趣是類型論在編程語言設(shè)計(jì)與實(shí)現(xiàn)中的應(yīng)用，以及其元理論的機(jī)械化。Harper 是 Allen Newell 卓越研究獎(jiǎng)?wù)潞?Herbert A. Simon 卓越教學(xué)獎(jiǎng)的獲得者，并且是 ACM 會士。