关于“程序语言理论与实践公开课”类别

[Hoey]

本课程是首个用Rescript实现的程序语言设计课程，课程会直接从 Lambda演算 切入介绍编程语言最核心的部分，课程内容包括Lambda演算、parital evaluation、 debruin index、 模式匹配、 类型检查、类型推导、虚拟机技术等。