目錄
第1章引言
1.1基本概念
1.1.1模型語言
1.1.2九表示法
1.1.3記號和約定
1.2等式、歸約和語義
1.2.1公理語義
1.2.2操作語義
1.2.3指稱語義
1.3類型和類型系統
1.3.1類型和類型系統
1.3.2類型語言的優點
1.4歸納法
1.4.1表達式上的歸納
1.4.2證明上的歸納
1.4.3良基歸納
習題
第2章可計算函式程式設計語言
2.1引言
2.2語法
2.2.1概述
2.2.2布爾值和自然數
2.2.3二元組和函式
2.2.4聲明和語法美化
2.2.5遞歸函式和不動點運算元
2.2.6語法總結和例子
2.3程式和語義
2.3.1程式和結果
2.3.2公理語義
2.3.3指稱語義
2.3.4操作語義
2.3.5由各種形式的語義定義的等價關係
2.4歸約和符號解釋器
2.4.1歸約的合流性
2.4.2歸約策略
2.4.3最左歸約和惰性歸約
2.4.4並行歸約
2.4.5急切歸約
2.5程式設計實例、表達能力和局限
2.5.1記錄和n元組
2.5.2查找自然數
2.5.3疊代和尾遞歸
2.5.4完全遞歸函式
2.5.5部分遞歸函式
2.5.6並行運算的不可定義性
2.6衍生和擴充
2.6.1單元類型與和類型
2.6.2遞歸類型
習題
第3章泛代數和代數數據類型
3.1引言
3.2代數、基調和項
3.2.1代數
3.2.2代數項的語法
3.2.3代數以及項在代數中的解釋
……
第4章簡單化類型λ演算
第5章類型化λ演算的模型
第6章命令式程式
第7章多態性
第8章子定型及有關概念
第9章類型推斷
參考文獻
