跳到正文
xiaofu OS
首页
关于我
◐
☰
课程目录
格物之境
/
CS 学习指南
/
全部学科
/
计算机核心系统
/
编程语言原理
计算机核心系统
编程语言原理
本页列出该分类的课程与官方学习资源。课程详细信息和资源限制请进入对应详情页核对。
课程与资源
Cornell CS 3110
通过 OCaml 和函数式编程学习数据抽象、模块和程序推理。
Stanford CS 242
编程语言课程资源索引;不同年份课程材料可能变化。
Software Foundations
用 Coq 形式化证明介绍逻辑、函数式程序与程序语言基础。