复旦大学：《C语言程序设计》课程教学资源（课件讲稿）第1章 程序设计和C语言
文件格式: PDF大小: 1.09MB页数: 22
5.1 字符串操作指令 （1) 串传送指令 MOVS （2）串比较指令 CMPS （3）串搜索指令 SCAS （4）取字节/字/双字串指令 LODS （5）存储字节/字/双字指令 STOS ( 6 ) 总结 5.2 宏功能程序设计
文件格式: PDF大小: 1.04MB页数: 135
• 带记录和子定型的简单类型化λ演算 • 等式理论和语义模型 • 递归类型的子定型和递归记录作为对象的模型
文件格式: PPT大小: 553KB页数: 53
• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法
文件格式: PPT大小: 315KB页数: 30
– 带依赖类型的演算，包括依赖积与依赖和 – 概要介绍Dependent ML（DML），以此来展示怎样把依赖类型用到实际语言中，这是当前程序设计语言研究的一个课题 – 带广义积与广义和的直谓式演算，以及它们同SML及其相近语言的模块系统的联系
文件格式: PPT大小: 601.5KB页数: 45
– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类
文件格式: PPT大小: 699.5KB页数: 74