飞溅2022
2022年12月10日星期一至星期六新西兰奥克兰
飞溅2022(系列) /杰斯珀考克斯
杰斯珀考克斯

自2015年11月16日星期一起注册用户

姓名：杰斯珀考克斯
国家/地区：荷兰
附属：代尔夫特理工大学
个人网站：https://jesper.sikanda.be网址
研究兴趣：类型理论，依赖类型编程，模式匹配，Agda

贡献

显示其他会议的活动

SPLASH 2022剖面
查看常规配置文件