Research output per year
Research output per year
Dr
KY16 9SS
United Kingdom
Accepting Postgraduate Research Students
PhD projects
Types; programming languages; DSLs; verification; compilers; theorem proving; functional programming; program generation; dependent types
Research output: Chapter in Book/Report/Conference proceeding › Chapter