2017年POPL
2017年1月21日星期六至星期日
切换导航
参加
校区:巴黎Jussieu
诉讼
学生
登记处
实用信息
签证
住宿
横幅图像学分
程序
完成计划
您的计划
按天筛选
1月15日星期日
1月16日周一
1月17日星期二
1月18日星期三
1月19日星期四
1月20日星期五
1月21日星期六
曲目
2017年POPL
教程
学生研究竞赛
POPL公司
工件评估
联合主办的会议
清洁石油产品
清洁石油产品
清洁石油产品
VMCAI公司
VMCAI公司
VMCAI公司
研讨会
应用程序
CoqPL公司
N40AI系列
未来40年的抽象解释
脱颖而出
OBT公司
政治公众人物
PLMW公司
PLMW公司
PiP公司
RDP公司
供应链管理
TTT公司
联合举办的座谈会
PADL(PADL)
组织
2017年POPL委员会
组织委员会
指导委员会
轨道委员会
学生研究竞赛
POPL公司
项目委员会
外部审查委员会
工件评估
贡献者
人员索引
联合主办的会议
清洁石油产品
项目委员会
VMCAI公司
组织委员会
项目委员会
指导委员会
项目主席
研讨会
应用程序
项目委员会
CoqPL公司
项目委员会
n40人工智能
组织者
脱颖而出
组织委员会
项目委员会
政治公众人物
方案委员会
方案委员会
PLMW公司
扬声器
项目委员会
PiP公司
项目委员会
RDP公司
项目委员会
供应链管理
组织委员会
TTT公司
项目委员会
联合举办的座谈会
PADL(PADL)
组织委员会
搜索
系列
系列
POPL 2025年
2024年POPL
2023年POPL
2022年POPL
2021年大众
2020年POPL
2019年POPL
2018年POPL
2017年POPL
2016年POPL
登录
注册
2017年POPL
(
系列
) /
阿格洛斯·比布迪斯
POPL 2017简介
conf.research.org概述
ECOOP 2015简介
ECOOP 2016简介
ECOOP 2019概况
ICFP 2018简介
2019年ICFP概况
ICFP 2022简介
ICFP 2023简介
PLDI 2021剖面
POPL 2018简介
POPL 2020简介
SPLASH 2013简介
SPLASH 2015简介
2016年SPLASH简介
2017年SPLASH简介
SPLASH 2018简介
2019年SPLASH概况
SPLASH 2020简介
SPLASH 2021简介
自2015年3月6日星期五起注册用户
姓名:
阿格洛斯·比布迪斯
生物:
博士生和
PLAT研究小组
,由领导
亚尼斯·斯马拉格达基斯
.
兴趣:编程语言设计、面向流的编程、登台/元编程。
@围巾
国家/地区:
希腊
附属:
雅典大学
个人网站:
http://biboudis.github.io/
研究兴趣:
编程语言
贡献
2017
POPL公司
流融合,达到完整性
政治公众人物
受邀海报
显示其他会议的活动
分享
POPL 2017-简介
查看常规配置文件
x个
9月21日星期六12:07