Research keywords: Programming languages design and semantics, types, category theoryTheme: Verification and SecurityWebsite: http://denotational.co.uk/Email (optional - published on profile page): ohad.kammar@ed.ac.ukUniversity: University of Edinburgh
