Stark, Ian
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

No queries for homepages.inf.ed.ac.uk/stark