我一月份的时候参加了一次本领域最顶尖的会议：POPL（Principles Of Programming Languages）。我不得不说，里面一半以上的论文其实没有什么价值，但是很多打着像“逻辑”一类的旗号来吓唬人。
基于14个网页-相关网页
应用推荐
模块上移
模块下移
不移动