本書提出了一種基於類型系統和結構操作語義的編程語言理論。
第2版經過全面修訂，幾乎每章都包含習題，並新增一章討論類型細化。
本書涉及的概念廣泛，包括：基本數據類型，多態和抽像類型，動態定型，
動態分派，子類型和類型細化，符號和動態分類，並行和成本語義，並發和分佈。
書中對不同編程語言的特性做了分析、證明和比較，所提供的方法可直接應用於語言的實現、
程序推理邏輯的研發以及語言特性的形式化驗證，具有較高的實用性。
本書不僅可以作為高等學校計算機相關專業的編程語言理論課程教材，
也可供相關領域的科研人員和技術人員參考閱讀。
實用編程語言理論基礎（原書第2版）
- 作者： Robert Harper
- 譯者： Robert Harper 張昱，胡明哲 等
- 出版社： 機械工業
- 出版日期： 2022-04-01
- ISBN碼： 9787111697404
- 編號： 9787111697404
$ 659 元
原價 834