Fundamentals of Programming Language
本课程介绍程序语言的基本理论（λ-演算，类型系统等）及其在实际程序语言中的应用。本课程还介绍该领域的发展趋势。
讲师
日期
2021年09月14日 至 12月02日
修课要求
离散数学
参考资料
Benjamin C. Pierce. Types and Programming Languages.
视频公开
不公开
笔记公开
不公开
讲师介绍
蒋瀚如，现任BIMSA副研究员。他于2019年在中国科学技术大学获得计算机科学与技术博士学位。2019年至2020年间，在鹏城实验室量子计算研究中心担任助理研究员。主要研究方向包括程序设计语言理论、编译器的形式化验证以及量子计算中的程序语言问题。其研究成果多次发表于 PLDI、CAV、OOPSLA 等程序语言领域的顶尖国际会议及期刊，曾获 PLDI 2019 杰出论文奖。