
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
ICFP 2019 | Fine-grained program reasoning using linear and graded modal types Quantitative program reasoning with graded modal types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile