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.People
Head of Theme
|
Faculty |
Oege de Moor | Stephen Drape | Jeremy Gibbons | Ralf Hinze | Geraint Jones | Daniel Kroening | Hanno Nickau | Luke Ong | Mike Spivey | Bernard Sufrin |
|
Research |
|
|
Students |
Pavel Avgustinov | Tom Harper | Daniel James | Eric Kerfoot | Jeffrey Lake | Max Schaefer | Julian Tibble | Meng Wang | Jim Whitehead |
Info
|
Activities |
abc | Algebra of Programming | Functional Programming | Metacomputation | Programming Tools |
|
Current projects |
Aspect Refactoring Tools | Generic and Indexed Programming | Reusability and Dependent Types |
|
Completed projects |
Aspect-Oriented Programming Languages | Datatype-Generic Programming | Siemens Obfuscation Project | Unifying Theories of Objects |