Stark, Ian
dcs.ed.ac.ukUniversity of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.