• 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.

Network

Network

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