访问学者

姓名 报告题目 国别 工作单位 备注
Matthew Flatt DrScheme as a Vehicle for Programming-Language Research 美国 Utah University 2006.7.1-
Alagar Vasu   加拿大 Concordia University 2005.7-2006.1
George Barmpalias  
希腊
计算机科学国家重点实验室 2011.5-2013.5