• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

电子科技大学：《面向对象程序设计语言C++》课程教学资源（PPT课件讲稿）第九章 多态性（主讲：丘志杰）

计算机程序设计语言的发展 面向对象的方法 面向对象的软件开发 信息的表示与存储 程序的开发过程

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验一 Switches, Lights, and Multiplexers

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验三 Latches, Flip-flops, and Registers

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验五 Clocks and Timers

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验七 Finite State Machines

广东海洋大学：《VHDL程序设计语言》课程教学资源（实验指导）实验九 A Simple Processor