这一主题下的研究包括我们在编程语言理论、设计和实现方面的工作。
教员包括萨姆森·阿布拉姆斯基,卢卡卡尔代利,杰里米·吉本斯,汉诺尼考,杰兰特,巴尔泰克克林,安德烈·穆拉夫斯基,卢克翁(Ong),迈克·斯皮维、和山姆Staton公司.
还有一群活跃的研究人员和学生。有关完整列表,请参阅[在这里].
牛津的编程语言研究始于1965年,由编程研究小组(Programming research Group)负责[维基百科],并继续与整个系的研究主题保持联系。
程序设计代数编程代数小组研究数学上健全的…
阅读更多信息关于程序设计代数
可微概率规划概率规划是一种编写统计模型的方法…
阅读更多信息关于微分与概率规划
功能性编程
阅读更多信息关于函数编程
游戏语义游戏语义是一种通用的建模方法,用于查看计算…
阅读更多信息关于游戏语义
阅读更多信息关于函数式编程
程序设计代数编程代数小组研究数学上的正确性…
爆炸更好的统计语言
阅读更多信息关于BLAST
基于代数效应的量子编程
阅读更多信息基于代数效应的量子规划
注:此处未列出所有出版物。请参阅人物页面.
阅读更多信息关于注释:此处未列出所有出版物。请参阅人物页面.
Profunctor Optics类别更新
阅读更多信息关于Profunctor Optics的分类更新
关于多项式递归程序的学习
阅读更多信息关于多项式递归程序的学习
贝叶斯规划中的仿射单体和惰性结构
阅读更多信息关于贝叶斯规划的仿射单体和惰性结构
ADEV:概率程序期望值的声音自动微分
阅读更多信息关于ADEV:概率程序期望值的声音自动微分
延续-传递风格“去功能化”积累和关联性
阅读更多信息关于延续-传递风格“去功能化”积累和关联性
宽度——通过分段第一次穿越
阅读更多信息关于宽度-通过分段第一次穿越
使用选择单数的算法设计
阅读更多信息关于用选择单体进行算法设计
完整配置文件