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
Info
|
Activities |
abc | Algebra of Programming | Functional Programming | Metacomputation | Programming Tools |
|
Current projects |
Reusability and Dependent Types | Unifying Theories of Objects |
|
Completed projects |
Aspect Refactoring Tools | Aspect-Oriented Programming Languages | Datatype-Generic Programming | Generic and Indexed Programming | Siemens Obfuscation Project |
People
|
Faculty |
|
|
Visitors |
|
|
Research |
|
|
Students |
|
|
Past Members |
|
