2018年SPLASH
2018年11月9日星期日至星期五美国马萨诸塞州波士顿
2018年SPLASH(系列) /科林戈登
科林戈登

自2015年8月17日星期一起注册用户

姓名：科林戈登
国家/地区：美国
附属：德雷塞尔大学
个人网站：网址：https://cs.drexel.edu/~cs戈登/
研究兴趣：类型理论、分离逻辑、验证、并发和并行、能力、类型和效果系统

贡献

显示其他会议的活动

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