Skip to main content

Programming Languages

Research falling under this theme includes our work in programming language theory, design and implementation.

There is also a lively group of research staff and students. For a full list, see [here].

Programming language research in Oxford began in 1965 with the Programming Research Group [wikipedia], and continues to have connections to research themes across the department. 

Related seminar series

All Activities

Activities

Algebra of Programming The Algebra of Programming group researches mathematically sound yet …

Read more about Algebra of Programming

Differentiable and Probabilistic Programming Probabilistic programming is a method for writing statistical models …

Read more about Differentiable and Probabilistic Programming

All Projects

Projects

BLAST Better Languages for Statistics

Read more about BLAST

Employing Categorical Probability Towards Safe AI

Read more about Employing Categorical Probability Towards Safe AI

All Publications

Publications

Research