2018年SPLASH
2018年11月9日星期日至星期五美国马萨诸塞州波士顿
2018年SPLASH(系列) /伊恩·沃西
伊恩·沃西

自2018年11月5日星期一起注册用户

姓名：伊恩·沃西
附属：卡内基梅隆大学
个人网站：http://www.cs.cmu.edu/~伊夫
研究兴趣：编程语言、机械化证明、逻辑、类型理论、证明理论

贡献

显示其他会议的活动

SPLASH 2018-简介
查看常规配置文件