Registered user since Wed 7 Jan 2015
Name:Dominic Orchard
Bio:
Dr Dominic Orchard is a Senior Lecturer in the Programming Languages and Systems group, School of Computing at the University of Kent, UK and is co-director of the Institute of Computing for Climate Science at the University of Cambridge. 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; University of Cambridge
Personal website: http://dorchard.co.uk
Research interests:Programming languages, types, semantics, verification
Contributions
2024
FPROPER
ICFP
- PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
- Session Chair of Refinement Types, Type Inference (part of ICFP Papers and Events)
- On the Operational Theory of the CPS-calculus: Towards a Theoretical Foundation for IRs
- On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs
ICFP 2024-profile
View general profile
View general profile