Carnegie Mellon University;
University of Colorado at Boulder;
University of Wisconsin-Milwaukee;
foundations; object-orientation; programming languages; type theory; semantics; analysis; verification; concurrency; distributed systems; databases; security;
机译:面向对象语言基础研讨会(FOOL)
机译:面向对象语言的基础:第二次研讨会报告
机译:第五届国际协调语言和软件体系结构基础研讨会的特刊(FOCLASA'06)
机译:19世纪面向对象语言基础的国际研讨会(傻瓜12)
机译:汉堡改革运动的基础:19世纪初期过渡中的德国犹太教。
机译:第19和20届国际中风遗传学联盟研讨会论文集
机译:第七届面向对象语言基础国际研讨会