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 Publications

Publications

Research