牛津大学计算机科学系

程序设计语言基础

编程语言基础涉及编程语言的基本方面和计算的种类以及他们描述的结构。例如，研究类型理论,程序设计语言的语义,领域理论,范畴理论、和游戏语义学.

教师

巴托克·克林

安德烈·穆拉夫斯基

萨姆·斯塔顿

过去的成员

卢克·翁

菲利普·萨维尔

研讨会

OASIS：牛津信息结构高级研讨会

另请参见

编程语言

返回页首