Haskell语言类型推理的语义模型研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·Haskell语言发展及研究现状 | 第8-10页 |
| ·国外研究现状 | 第8-9页 |
| ·国内研究现状 | 第9-10页 |
| ·Haskell语言类型推理发展现状 | 第10-11页 |
| ·Haskell语言的基本特征 | 第11页 |
| ·研究意义 | 第11-12页 |
| ·本论文结构安排 | 第12-13页 |
| 第二章 函数式程序设计语言Haskell | 第13-24页 |
| ·引言 | 第13页 |
| ·Haskell语言简介 | 第13-17页 |
| ·Haskell语言定义 | 第13-14页 |
| ·Haskell语言的程序结构 | 第14页 |
| ·Haskell语言的函数 | 第14-16页 |
| ·程序实例 | 第16-17页 |
| ·Haskell语言的特性 | 第17-19页 |
| ·Haskell的惰性计算特性 | 第17-18页 |
| ·Haskell语言的列表内涵特性 | 第18页 |
| ·Haskell语言的高阶特性 | 第18-19页 |
| ·Haskell语言的实用性 | 第19页 |
| ·Haskell语言的执行效率 | 第19-20页 |
| ·形式语义的相关概念 | 第20-22页 |
| ·惰性操作语义 | 第20-22页 |
| ·惰性指称语义 | 第22页 |
| ·结构归纳法 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 单态和多态类型推理语义模型 | 第24-35页 |
| ·单态类型推理 | 第24-26页 |
| ·表达式 | 第24-26页 |
| ·函数 | 第26页 |
| ·单态类型推理语义模型 | 第26-28页 |
| ·Haskell语言的基本类型定义 | 第26页 |
| ·Haskell语言的语法集合定义 | 第26-27页 |
| ·Haskell中一些常用函数的类型 | 第27页 |
| ·Haskell语言类型构造规则 | 第27页 |
| ·单态类型推理的语义模型 | 第27-28页 |
| ·多态类型推理 | 第28-32页 |
| ·多态类型 | 第28页 |
| ·约束 | 第28-30页 |
| ·多态函数应用的类型推理 | 第30-32页 |
| ·多态类型推理语义模型 | 第32-34页 |
| ·Haskell语言中一些多态类型的函数 | 第32页 |
| ·类型说明 | 第32-33页 |
| ·多态类型的类型推理语义模型 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 函数类型推理语义模型 | 第35-43页 |
| ·Lambda演算 | 第35-36页 |
| ·函数层定义 | 第36页 |
| ·高阶类型 | 第36-37页 |
| ·高阶函数 | 第37-41页 |
| ·map函数 | 第38-39页 |
| ·filter函数 | 第39页 |
| ·函数的复合 | 第39-41页 |
| ·高阶函数类型推理的语义模型 | 第41-42页 |
| ·Haskell中的高阶函数 | 第41页 |
| ·高阶类型中的相关定义与规则 | 第41页 |
| ·高阶函数类型推理的语义模型 | 第41-42页 |
| ·本章总结 | 第42-43页 |
| 第五章 总结与展望 | 第43-45页 |
| ·论文研究工作总结 | 第43页 |
| ·后续工作及展望 | 第43-45页 |
| 参考文献 | 第45-48页 |
| 致谢 | 第48-49页 |
| 个人简介 | 第49页 |
