Prof Dominic Orchard

My research is at the intersection of types, semantics, and logic, with a focus on programming languages and verification. I also work closely with domain experts in climate science.

Research Professor and Co-director of the Institute of Computing for Climate Science
Department of Computer Science and Technology, University of Cambridge
Senior Lecturer in the Programming Languages and Systems group
School of Computing, University of Kent
Bye-Fellow at Queens' College, Cambridge

I am also a Fellow of the Software Sustainability Institute.

Projects / groups

Key funded projects that I am currently working on, and groups I am leading:

PhD Students	Postdocs / RAs
Vilem Liepelt Paulo Torrens Jay Torry Tori Vollmer	Roly Perera David Binder Chinmayi Baramashetru

Recent Blog Posts

Migrating blog - October 23, 2025 general announcement
This is the first post on my new blog, and an attempt to migrate over my old posts from WordPress

See all blog posts →

Recent Publications

Cognacy Queries over Dependence Graphs for Transparent Visualisations
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
ESOP 2025 [PDF] (BibTeX)
A Mixed Linear and Graded Logic: Proofs, Terms, and Models
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
CSL 2025 [PDF] (BibTeX)
Non-linear communication via graded modal session types
Danielle Marshall, Dominic Orchard
Information and Computation (301) 2024 [Publisher PDF] (BibTeX)
Functional Ownership through Fractional Uniqueness
Danielle Marshall, Dominic Orchard
OOPSLA 2024 [PDF] (BibTeX)
Programming Languages for the Future of Design Computation
Robert Aish, Al Fisher, Dominic Orchard, Jay Torry
Onward! Essays 2024 [PDF] (BibTeX)
On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs
Paulo Torrens, Dominic Orchard, Cristiano Vasconcellos
ICFP 2024 [PDF] (BibTeX)
Program Synthesis from Graded Types
Jack Hughes, Dominic Orchard
ESOP 2024 [PDF] (BibTeX)
Communicating Actor Automata – Modelling Erlang Processes as Communicating Machines
Dominic Orchard, Mihail Munteanu, Paulo Torrens
PLACES 2023 [PDF] (BibTeX)
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, Laura Voinea
The Art, Science, and Engineering of Programming, 2023 [PDF] (BibTeX)
How To Take the Inverse of a Type
Daniel Marshall, Dominic Orchard
ECOOP 2022 - Distinguished Paper Award and Distinguished Artifact Award - [PDF]
Linearity and Uniqueness: An Entente Cordiale
Daniel Marshall, Michael Vollmer, Dominic Orchard
ESOP 2022 [PDF] (BibTeX)
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
Daniel Marshall, Dominic Orchard
PLACES 2022 [PDF] (BibTeX)
Linear Exponentials as Graded Modal Types
Jack Hughes, Daniel Marshall, James Wood, Dominic Orchard
TLLA 2021 [PDF] (BibTeX)
Graded Modal Dependent Type Theory
Ben Moon, Harley Eades III, Dominic Orchard
ESOP 2021 [PDF] (BibTeX)
Graded Hoare Logic and its Categorical Semantics
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
ESOP 2021 [PDF] (BibTeX)
Deriving distributive laws for graded linear types
Jack Hughes, Michael Vollmer, Dominic Orchard
Post proceedings of Linearity-TLLA 2020 [PDF]
Resourceful Program Synthesis from Graded Linear Types
Jack Hughes, Dominic Orchard
LOPSTR 2020 - Best paper award - [PDF] (BibTeX)
Data-Flow Analyses as Effects and Graded Monads
Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
FSCD 2020 [PDF] (BibTeX)
Unifying graded and parameterised monads
Dominic Orchard, Philip Wadler, Harley Eades III
MSFP 2020 [PDF] (BibTeX)
Quantitative Program Reasoning with Graded Modal Types
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III
ICFP 2019 [PDF] (BibTeX)
Composing Bidirectional Programs Monadically
Li-yao Xia, Dominic Orchard, Meng Wang
ESOP 2019 [PDF] [Appendix] (BibTeX)
Automatic Reordering for Dataflow Safety of Datalog
Mistral Contrastin, Dominic Orchard, Andrew Rice
PPDP 2018 [PDF] (BibTeX)
Complexity bounds for container functors and comonads
Dominic Orchard
Information and Computation (261) 2018 [PDF] [Publisher PDF] (BibTeX)
Verifying spatial properties of array computations
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
OOPSLA 2017 [PDF] (BibTeX)
Session Types with Linearity in Haskell
Dominic Orchard, Nobuko Yoshida
Book chapter in Behavioural Types: from Theory to Tools [PDF] (BibTeX)
Units-of-Measure correctness in Fortran programs
Mistral Contrastin, Andrew Rice, Matthew Danish, Dominic Orchard
Computing in Science & Engineering, 2016 [PDF] (BibTeX)
Combining effects and coeffects via grading
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
ICFP 2016 [PDF] (BibTeX)
Effect Systems Revisited - Control-Flow Algebra and Semantics
Alan Mycroft, Dominic Orchard, Tomas Petricek
Semantics, Logics, and Calculi (Festschrift for Hanne Riis Nielson and Flemming Nielson) LNCS, 2016 [PDF] (BibTeX)
Effects as sessions, sessions as effects
Dominic Orchard, Nobuko Yoshida
POPL 2016 [PDF] (BibTeX)
Evolving Fortran types with inferred units-of-measure.
Dominic Orchard, Andrew Rice, Oleg Oshmyan
Journal of Computational Science - Special issue on selected papers from ICCS 2015 [PDF] (BibTeX)
Using session types as an effect system
Dominic Orchard, Nobuko Yoshida
PLACES 2015 [PDF] (BibTeX)
Coeffects: a calculus of context-dependent computation
Tomas Petricek, Dominic Orchard, Alan Mycroft
ICFP 2014 [PDF] (BibTeX)
Temporal semantics for a live coding language
Samuel Aaron, Dominic Orchard, Alan Blackwell
FARM 2014 [PDF] (BibTeX)
Embedding effect systems in Haskell
Dominic Orchard, Tomas Petricek
Haskell 2014 [PDF] (BibTeX)
Programming language evolution workshop report
Raoul-Gabriel Urma, Dominic Orchard, Alan Mycroft
PLE@ECOOP 2014 [PDF] (BibTeX)
A Computational Science Agenda for Programming Language Research
Dominic Orchard, Andrew Rice
ICCS 2014 [PDF] (BibTeX)
Automatic SIMD vectorization for Haskell
Leaf Petersen, Dominic Orchard, Neal Glew
ICFP 2013 [PDF] (BibTeX)
Coeffects: Unified Static Analysis of Context-Dependence.
Tomas Petricek, Dominic Orchard, Alan Mycroft
ICALP 2013 [PDF] (BibTeX)
A Notation for Comonads
Dominic Orchard, Alan Mycroft
IFL 2012 [PDF] (BibTeX)
The four Rs of programming language design.
Dominic Orchard
Onward! Essays 2011 [PDF] (BibTeX)
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
Dominic Orchard, Alan Mycroft
DSL 2011 [PDF] (BibTeX)
Haskell Type Constraints Unleashed
Dominic Orchard, Tom Schrijvers
FLOPS 2010 [PDF] (BibTeX)
Ypnos: declarative, parallel structured grid programming
Dominic Orchard, Max Bolingbroke, Alan Mycroft
DAMP 2010 [PDF] (BibTeX)
muCell - Interdisciplinary Research in Modelling and Simulation of Cell Spatial Behaviour
Dominic Orchard, Jonathan Gover, Lee Lewis Herrington,, James Lohr, Duncan Stead, Cathy Young, Sara Kalvala
Reinvention journal 2009 [PDF] (BibTeX)
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation
Dominic Orchard, Steve Matthews
Mathematics in Computer Science 2008 [PDF] (BibTeX)

Service

Co-chair: PROPL 2024, TyDe 2021, PADL 2021, PLACES 2019, PLACES 2016, PLE 2015, PLE 2014
Programme Committee: LOCO 2024, ICFP 2024, ESOP 2024, APLAS 2023 SRC & Posters, TASE 2023, POPL 2023, Haskell 2022, POPL 2019, BEAT 2019, TyDe 2018, Haskell 2015, Salon des Refusés 2017, IFL 2013
External Review Commitee: ICFP 2020
Artefact Evaluation Commitee: ECOOP 2014
Other: Local organizer of Climate Informatics 2023, Panelist at PLMW 2019

Previous students and group members

Danielle Marshall (PhD student 2025, thesis: Graded Modal Types for Memory and Communication Safety, went on to a postdoc at the University of Glasgow)
Michael Vollmer (post doc 2020-21 went on to be a Lecturer at the University of Kent)
Marco Paviotti (post doc 2022 went on to be a Lecturer at the University of Kent
Jack Hughes (PhD student 2024, thesis: Program Synthesis From Linear and Graded Types, went on to a postdoc at the University of Kent)
Ben Orchard (Research Assistant 2021-23)

E-mail:
d.a.orchard@kent.ac.uk
dominic.orchard@cl.cam.ac.uk

Office(s):
Room 212, Kennedy Building, University of Kent, Canterbury, UK

FE25, William Gates Building, University of Cambridge, Cambridge, UK

W2, Queens' College,
Cambridge, UK

Find me on: