ICFP 2024年
2024年9月2日星期一至7日星期六
意大利米兰
切换导航
参加
地点:Allianz MiCo(米兰会议中心)
寻求赞助
游程信息
当地信息
住宿
登记处
行为准则
虚拟参与
演示者须知
签证
程序
完成计划
您的计划
9月2日星期一
9月3日星期二
9月4日星期三
9月5日星期四
9月6日星期五
9月7日星期六
曲目
ICFP 2024年
工件评估
多样性、公平性和包容性
ICFP论文和活动
ICFP编程竞赛
ICFP教程
ICFP研讨会
JFP第一篇论文
学生研究竞赛
志愿者
研讨会
埃尔朗
埃尔朗
-(主题演讲)环境可持续的软件和数据架构
农场
FProPer公司
富纳奇
HIW公司
希望
毫升
OCaml公司
用户和开发人员研讨会
ICFP的PLMW
方案
泰德
迷你凯恩人
联合举办的座谈会
哈斯克尔
组织
ICFP 2024委员会
组织委员会
轨道委员会
工件评估
ICFP论文和活动
ICFP教程
ICFP研讨会
学生研究竞赛
贡献者
人员指数
研讨会
埃尔朗
组织委员会
项目委员会
农场
组织委员会
项目委员会
FProPer公司
项目委员会
富纳奇
项目委员会
HIW公司
项目委员会
希望
主旨发言人
项目委员会
毫升
项目委员会
OCaml公司
项目委员会
ICFP的PLMW
组织委员会
方案
组织委员会
项目委员会
泰德
组织委员会
项目委员会
迷你凯恩人
项目委员会
联合举办的座谈会
哈斯克尔
项目委员会
搜索
系列
系列
ICFP 2024年
ICFP 2023年
ICFP 2022年
ICFP 2021年
2020年ICFP
2019年ICFP
2018年ICFP
2017年ICFP
2016年ICFP
登录
注册
ICFP 2024年
(
系列
) /
杰斯珀考克斯
ICFP 2024简介
conf.research.org概述
APLAS 2024概况
ECOOP 2016简介
EVCS配置文件
ICFP 2016概况
2017年ICFP概况
ICFP 2018简介
2019年ICFP概况
ICFP 2020简介
ICFP 2021简介
ICFP 2022简介
ICFP 2023简介
POPL 2017简介
POPL 2019简介
POPL 2020简介
POPL 2021简介
POPL 2022简介
POPL 2024简介
SPLASH 2021简介
SPLASH 2022简介
自2015年11月16日星期一起注册用户
姓名:
杰斯珀考克斯
国家/地区:
荷兰
附属:
代尔夫特理工大学
个人网站:
https://jesper.sikanda.be网址
研究兴趣:
类型理论,依赖类型编程,模式匹配,Agda
贡献
2024
泰德
TyDe 2024轨道组织委员会委员
TyDe 2024轨道项目委员会联合主席
显示其他会议的活动
分享
使用常规配置文件
x个
9月22日星期日02:01