• 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

If you made any changes in Pure these will be visible here soon.



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