Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Dominic Orchard

Registered user since Wed 7 Jan 2015

Name:Dominic Orchard
Bio:

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.

Country:United Kingdom
Affiliation:University of Kent, UK
Personal website:http://dorchard.co.uk
Research interests:Programming languages, types, semantics, verification

Contributions

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

ICFP 2020-profile
View general profile