icfp2020 papers:ICFP 2020年论文。 众包 源码

ICFP 2020 类似网页老年ICFP( , , , , , , , ),popl等( , , , ), 。 使用匹配逻辑定义绑定器的通用方法陈晓红,格里戈尔·罗苏(Grigore Rosu) ( ) 快速了解隐含性亚历杭德罗·塞拉诺(Alejandro Serrano),尤里安·哈格(Jurriaan Hage),西蒙·佩顿·琼斯(Simon Peyton Jones),迪米特里奥斯·维蒂尼奥蒂( ) 类型系统中模态的统一视图安德烈亚斯·亚伯(Andreas Abel),让·菲利普·伯纳迪(Jean-Philippe Bernardy) ( )() 具有模式匹配和擦除推论的依存类型演算MatúšTejiščák 以功能方式实现高性能-在将高性能优化作为重写策略进行表达时发挥功能的明珠巴斯蒂安·哈格多恩(Bastian Hagedorn),约翰内斯·伦弗