Concepedia

Author

Dominic Orchard

University of CambridgeORCID

Also Known As

DOMINIC ORCHARD, Dominic A. Orchard, Dominic Orchard, Ivašković, Andrej, Matthew Archer, Orchard, D, Orchard, Dominic

86

Publications

732

Citations

14

H-Index

37

Concepts

All Affiliations

University of CambridgeUniversity of KentTallinn University of TechnologyUniversity at Buffalo, State University of New YorkImperial College London
DO

About

Dominic Orchard is an author at University of Cambridge specializing in formal methods, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

12

393

2

Computer Engineering

4

4

54

3

Education

2

2

71

4

Language Studies

2

2

84

5

Behavioral Sciences

2

2

58

Dominic Orchard

×

15

Publications

434

Citations

12

H-Index

YearCitations

Quantitative program reasoning with graded modal types

Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades

Proceedings of the ACM on Programming Languages

2019

79

Coeffects

Tomáš Petříček, Dominic Orchard, Alan Mycroft

2014

71

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard,

2016

61

Effects as sessions, sessions as effects

Dominic Orchard, Nobuko Yoshida

2016

43

Ypnos

Dominic Orchard, Max Bolingbroke, Alan Mycroft

2010

31

Embedding effect systems in Haskell

Dominic Orchard, Tomáš Petříček

2014

29

Programming contextual computations

Dominic Orchard

CL Technical Reports

2021

17

Upgrading fortran source code using automatic refactoring

Dominic Orchard, Andrew Rice

2013

16

Effects as sessions, sessions as effects

Dominic Orchard, Nobuko Yoshida

ACM SIGPLAN Notices

2016

15

A Computational Science Agenda for Programming Language Research

Dominic Orchard, Andrew Rice

Procedia Computer Science

2014

13

Page 1