University research fellow in Programming Language Semantics at the University of Edinburgh.
Member for 10 years, 5 months
0 profile views
Last seen Nov 23 '20 at 8:42
Top network posts
- 46 What constitutes denotational semantics?
- 32 How did TCS become conference-oriented rather than journal-oriented?
- 16 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 How can I call functions that are not "first-class functions"?
- 12 Using lambda calculus to derive time complexity?
- View more network posts →