写博客>>
2018年ICFP
2018年9月29日星期六至星期日美国密苏里州圣路易斯
2018年ICFP(系列) /杰斯珀考克斯
杰斯珀考克斯

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

姓名：杰斯珀考克斯
国家/地区：瑞典
附属：查尔默斯|哥德堡大学
个人网站：https://jesper.sikanda.be网址
研究兴趣：类型理论，依赖类型编程，模式匹配，Agda

贡献

显示其他会议的活动

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