Dr Dominic Orchard
Alumni
PublicationsDominic Orchard was a post-doctoral researcher at Imperial College London and a fellow of Software Sustainability Institute. He is interested in the intersection between semantics, program analysis, and type theory. He gained his PhD from University of Cambridge where he studied context-dependent aspects of computation.
Dominic is now at University of Kent
Publications
2017
-
: Session Types with Linearity in Haskell. Behavioural Types: from Theory to Tools .
2016
-
: Effects as sessions, sessions as effects. POPL 2016 .
2015
-
: Using session types as an effect system. PLACES'15 .
Professional Activities
PC Members and Chairs
-
PLACES 2016 Programme Committee Co-chair
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)