Carnegie Mellon University;
University of Colorado at Boulder;
University of Genova;
foundations; object-orientation; programming languages; type theory; semantics; analysis; verification; concurrency; distributed systems; databases; security;
机译:面向对象语言基础研讨会(FOOL)
机译:面向对象语言的基础:第二次研讨会报告
机译:第五届国际协调语言和软件体系结构基础研讨会的特刊(FOCLASA'06)
机译:2011年面向对象语言基础的国际研讨会(傻瓜11)
机译:傻瓜的金子:奥杜邦国际认证可作为涉禽觅食栖息地适宜性的预测指标:佛罗里达西南部三个奥杜邦国际认证和三个非奥杜邦高尔夫球场的案例比较。
机译:为全球卫生建立信息学议程的基础-2011研讨会报告
机译:第七届面向对象语言基础国际研讨会