Fundamentals of Programming Language
本课程介绍程序语言的基本理论（λ-演算，类型系统等）及其在实际程序语言中的应用。本课程还介绍该领域的发展趋势。
讲师
日期
2021年09月14日 至 12月02日
修课要求
离散数学
参考资料
Benjamin C. Pierce. Types and Programming Languages.
视频公开
不公开
笔记公开
不公开
讲师介绍
蒋瀚如于2019年在中国科学技术大学取得计算机科学与技术博士学位，2019-2020年在鹏城实验室量子计算研究中心担任助理研究员，2020年加入BIMSA任助理研究员。他的主要研究方向为程序语言理论、编译器的形式化验证和量子计算中的程序语言问题。作为并发程序分离编译验证工作CASCompCert的主要完成人，获得程序语言领域顶级会议PLDI 2019的Distinguished Paper Award。