ICFP 2020 类似网页老年ICFP（ ， ， ， ， ， ， ， ），popl等（ ， ， ， ）， 。 使用匹配逻辑定义绑定器的通用方法陈晓红，格里戈尔·罗苏（Grigore Rosu） （ ） 快速了解隐含性亚历杭德罗·塞拉诺（Alejandro Serrano），尤里安·哈格（Jurriaan Hage），西蒙·佩顿·琼斯（Simon Peyton Jones），迪米特里奥斯·维蒂尼奥蒂（ ） 类型系统中模态的统一视图安德烈亚斯·亚伯（Andreas Ab