www.cs.ox.ac.uk/research/pl/index.html

You are here:

• Home
• Research
• Themes
• Programming Languages

Programming Languages

Research falling under this theme includes our work in programming language design and implementation, a long-established research strength of the Laboratory.  We have two research groups in this area, one focussed upon programming tools, the other upon the algebra of programming.  It includes also much of our work in metacomputation, an area covering several fields, but with a particular focus upon languages and programming calculi.

Related seminar series

• Programming Languages

Info

Activities	abc |  Algebra of Programming |  Functional Programming |  Metacomputation |  Programming Tools
Current projects	Unifying Theories of Generic Programming |  Unifying Theories of Objects
Completed projects	Aspect Refactoring Tools |  Aspect-Oriented Programming Languages |  Datatype-Generic Programming |  Generic and Indexed Programming |  Reusability and Dependent Types |  Siemens Obfuscation Project

People

Faculty	Oege de Moor Jeremy Gibbons Ralf Hinze Geraint Jones Daniel Kroening Hanno Nickau Luke Ong Mike Spivey Bernard Sufrin Hongseok Yang
Visitors	Andrzej Murawski
Research	José Pedro Magalhães Nicolas Wu
Students	Luke Cartey Emanuele D'Osualdo Josh Ko Martin Lester Robin Neatherway Maciej Pirog
Past Members	Stephen Drape Torbjörn Ekman Tom Harper Daniel James Eric Kerfoot Bruno Oliveira Max Schaefer Meng Wang Jim Whitehead