斯普拉什2024
2024年10月20日星期日至25日星期五美国加利福尼亚州帕萨迪纳
斯普拉什2024(系列) /阿迈勒
阿迈勒

自2016年4月2日星期六起注册用户

姓名：阿迈勒
国家/地区：美国
附属：美国东北大学
个人网站：网址：http://www.ccs.neu.edu/home/amal/
研究兴趣：正确且安全的编译、多语言软件的链接类型、依赖类型的类型化编译、语义和逻辑关系、渐进式键入、安全的语言互操作性

贡献

显示其他会议的活动

使用常规配置文件