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

Search results