斯普拉什2024
2024年10月25日星期日至星期五美国加利福尼亚州帕萨迪纳
斯普拉什2024(系列) /张俊英
张俊英（Junyoung Jang）

自2020年10月28日星期三起注册用户

姓名：张俊英（Junyoung Jang）
国家/地区：加拿大
附属：麦吉尔大学
个人网站：https://Ailrun.github.io/en
github：https://github.com/Ailrun
研究兴趣：编程语言、证明理论、元编程、程序表示和解析

贡献

显示其他会议的活动

使用常规配置文件