哈佛 CS152 编程语言

课程名称： Programming Languages
课程官网地址：2022年春 先修课程： CS51 计算中的抽象与设计、CS121 理论计算机科学导论
重要程度：
课程评点：

课程说明

本课程介绍编程语言的理论、设计和实现。本课程涵盖的主题包括：编程语言的形式语义（操作、公理、指称和翻译）、类型系统、高阶函数和 lambda 演算、懒惰、延续、动态类型、单子、对象、模块、并发和沟通。