University research fellow in Programming Language Semantics at the University of Edinburgh.
Member for 9 years, 9 months
22 profile views
Last seen May 21 '19 at 21:03
Top network posts
- 45 What constitutes denotational semantics?
- 32 How did TCS become conference-oriented rather than journal-oriented?
- 15 What is the origin of logical relations?
- 13 What are the equational laws for zero types?
- 13 How to sort a glossary by order of appearance?
- 12 Using lambda calculus to derive time complexity?
- 12 How can I call functions that are not "first-class functions"?
- View more network posts →