【录屏】UoN 课程分享：Programs, Proofs and Types 发表于 2020-07-29 分类于 分享 ， 视频 ， 讲演 阅读次数： 本文字数： 537 阅读时长 ≈ 1 分钟 昨天受邀为今年的英诺大四新生分享了一下计算机系的选课。我推荐了可能是 UoN 史上最冷门的一门课——《Programs, Proofs and Types》。 因为讲演时间被要求在五分钟内，所以基本也没怎么介绍具体内容，只提了很多这个有意思的老师。 因为嗓子坏了没法声音出场，感谢凡哥的代替。 视频里提到的教授演讲地址：https://youtu.be/DllYOFw5Qio。 录屏 Your browser does not support the video tag.