Jesper Cockx-GPCE 2021

2021年10月17日星期日至22日星期五美国伊利诺伊州芝加哥

与同一地点斯普拉什2021

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

姓名：杰斯珀考克斯

国家/地区：荷兰

附属：荷兰代尔夫特理工大学

个人网站：https://jesper.sikanda.be网站

研究兴趣：类型理论，依赖类型编程，模式匹配，Agda

贡献

2021

GPCE公司

提取依赖类型的威力

显示其他会议的活动

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