电动汽车控制系统
2023年4月5日星期三
荷兰代尔夫特
切换导航
参加
地点:德夫特大学X大楼
餐厅:De Brasserij
登记处
酒店
旅行
程序
完成计划
您的计划
4月5日星期三
跟踪/呼叫
组织
EVCS委员会
轨道委员会
计划和组织委员会
地方组织委员会
贡献者
人员指数
搜索
系列
登录
注册
电动汽车控制系统(
系列
) /
杰斯珀考克斯
EVCS简介
conf.research.org概述
APLAS 2024简介
ECOOP 2016简介
ICFP 2016概况
2017年ICFP概况
ICFP 2018简介
2019年ICFP概况
ICFP 2020简介
ICFP 2021简介
ICFP 2022简介
ICFP 2023简介
ICFP 2024简介
POPL 2017简介
POPL 2019简介
POPL 2020简介
POPL 2021简介
POPL 2022简介
POPL 2024简介
SPLASH 2021简介
SPLASH 2022简介
自2015年11月16日星期一起注册用户
姓名:
杰斯珀考克斯
国家/地区:
荷兰
附属:
代尔夫特理工大学
个人网站:
https://jesper.sikanda.be网址
研究兴趣:
类型理论,依赖类型编程,模式匹配,Agda
贡献
2023
电动汽车控制系统
Statix中的依赖类型语言
显示其他会议的活动
分享
EVCS配置文件
查看常规配置文件
x个
9月21日星期六20:35