Skip to main content

Programming Languages

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

Faculty include Samson Abramsky, Luca Cardelli, Jeremy Gibbons, Hanno Nickau, Geraint Jones, Bartek Klin, Andrzej Murawski, Luke Ong, Mike Spivey, and Sam Staton.

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

Quantum programming via algebraic effects

Read more about Quantum programming via algebraic effects

All Publications

Publications

Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Read more about Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Research