best-of-popl:最佳POPL（BOP）阅读小组回忆录

最好的 欢迎来到BOP（最佳POPL）。 我们的目标是要询问关于编程语言的原则乐趣damental问题，通过看从popl等。 为了鼓励讨论和参与，我们将为每位阅读小组成员制定一项规则，以撰写每次会议阅读的简短回忆录（ 2〜3个段落，包括对思想和问题的粗略概述）。 该资料库是我们回忆录的存放地。 什么时候？ 在哪里？ ：大约每隔一个星期三上午10点。 莱文地下室（057）。 在线缩放。 会议-2020年Spring 我们最初是按时间顺序排列的（最早的论文排在第一位），但是从三月开始，我们召开了一些会议来讨论最新的论文。 2020年1月29日：西蒙·佩顿·琼斯（Simon Peyton Jones）和菲利普·瓦德勒（Philip Wadler）。 命令式函数式编程（1993）。 2020年2月12日： Mads Tofte和Jean-Pierre Talpin。 使用区域堆栈实现类型化