ICFP 2022年
2022年9月16日星期日至星期五斯洛文尼亚卢布尔雅那
ICFP 2022年(系列) /杰斯珀考克斯
杰斯珀考克斯

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

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

贡献

显示其他会议的活动

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