博客（28）>>
2017年ICFP
2017年9月9日星期日至星期六英国牛津
2017年ICFP(系列) /杰斯珀考克斯
杰斯珀考克斯

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

姓名：杰斯珀考克斯
国家/地区：比利时
附属：比利时iMinds
个人网站：https://distrinet.cs.kuleuven.be/people/jesper
研究兴趣：类型理论，依赖类型编程，模式匹配，Agda

贡献

显示其他会议的活动

ICFP 2017-简介
查看常规配置文件