• EH14 4AS

    United Kingdom

Accepting PhD Students

PhD projects

- static analysis, in particular of functional languages
- type error diagnosis for functional languages

1994 …2021

Research activity per year

Network

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or