Registered user since Wed 7 Jan 2015
Dr Dominic Orchard is a Lecturer in the School of Computing at the University of Kent, UK and he is a fellow of the SSI. His research interests are programming language design and semantics, mathematically structured programming, effect and coeffect systems, embedded domain-specific languages (esp. for parallelisation), and applying programming language research to computational science.
|TyDe 2020||Graded Modal Dependent Type Theory (Extended Abstract)|
|ICFP 2020||Committee Member in External Review Committee within the ICFP Program-track|
|Show activities from other conferences|
View general profile