Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. - Dominic A. Orchard; Steve Matthews (Math. Comput. Sci., 2008)

Haskell Type Constraints Unleashed. - Dominic A. Orchard; Tom Schrijvers (FLOPS, 2010)

Ypnos: declarative, parallel structured grid programming. - Dominic A. Orchard; Max Bolingbroke; Alan Mycroft (DAMP, 2010)

The four Rs of programming language design. - Dominic A. Orchard (Onward!, 2011)

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing - Dominic A. Orchard; Alan Mycroft (DSL, 2011)

A Notation for Comonads. - Dominic A. Orchard; Alan Mycroft (IFL, 2012)

Coeffects: Unified Static Analysis of Context-Dependence. - Tomas Petricek 001; Dominic A. Orchard; Alan Mycroft (ICALP (2), 2013)

Automatic SIMD vectorization for Haskell. - Leaf Petersen; Dominic A. Orchard; Neal Glew (ICFP, 2013)

Upgrading fortran source code using automatic refactoring. - Dominic A. Orchard; Andrew C. Rice (WRT@SPLASH, 2013)

Programming language evolution workshop report. - Raoul-Gabriel Urma; Dominic A. Orchard; Alan Mycroft (PLE@ECOOP, 2014)

Embedding effect systems in Haskell. - Dominic A. Orchard; Tomas Petricek 001 (Haskell, 2014)

A Computational Science Agenda for Programming Language Research. - Dominic A. Orchard; Andrew C. Rice (ICCS, 2014)

Temporal semantics for a live coding language. - Samuel Aaron; Dominic A. Orchard; Alan F. Blackwell (FARM@ICFP, 2014)

Coeffects: a calculus of context-dependent computation. - Tomas Petricek 001; Dominic A. Orchard; Alan Mycroft (ICFP, 2014)

The semantic marriage of monads and effects. - Dominic A. Orchard; Tomas Petricek 001; Alan Mycroft (CoRR, 2014)

Computational Semantics with Functional Programming, byJan van Eijck andChristina Unger. - Dominic A. Orchard (J. Funct. Program., 2014)

Programming contextual computations. - Dominic A. Orchard (2014)

Using session types as an effect system. - Dominic A. Orchard; Nobuko Yoshida (PLACES, 2015)

Evolving Fortran types with inferred units-of-measure. - Dominic A. Orchard; Andrew C. Rice; Oleg Oshmyan (J. Comput. Sci., 2015)

Effect Systems Revisited - Control-Flow Algebra and Semantics. - Alan Mycroft; Dominic A. Orchard; Tomas Petricek 001 (Semantics, Logics, and Calculi, 2016)

Combining effects and coeffects via grading. - Marco Gaboardi; Shin-ya Katsumata; Dominic A. Orchard; Flavien Breuvart; Tarmo Uustalu (ICFP, 2016)

Effects as sessions, sessions as effects. - Dominic A. Orchard; Nobuko Yoshida (POPL, 2016)

Units-of-Measure Correctness in Fortran Programs. - Mistral Contrastin; Andrew C. Rice; Matthew Danish; Dominic A. Orchard (Comput. Sci. Eng., 2016)

Guest editors' foreword. - Dominic A. Orchard; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2017)

Verifying spatial properties of array computations. - Dominic A. Orchard; Mistral Contrastin; Matthew Danish; Andrew C. Rice (Proc. ACM Program. Lang., 2017)

Automatic Reordering for Dataflow Safety of Datalog. - Mistral Contrastin; Dominic A. Orchard; Andrew C. Rice (PPDP, 2018)

Complexity bounds for container functors and comonads. - Dominic A. Orchard (Inf. Comput., 2018)

Composing Bidirectional Programs Monadically. - Li-yao Xia; Dominic Orchard; Meng Wang 002 (ESOP, 2019)

Learning units-of-measure from scientific code. - Matthew Danish; Miltiadis Allamanis; Marc Brockschmidt; Andrew C. Rice; Dominic Orchard (SE4Science@ICSE, 2019)

Composing bidirectional programs monadically (with appendices). - Li-yao Xia; Dominic Orchard; Meng Wang 002 (CoRR, 2019)

Quantitative program reasoning with graded modal types. - Dominic Orchard; Vilem-Benjamin Liepelt; Harley Eades III (Proc. ACM Program. Lang., 2019)

Data-Flow Analyses as Effects and Graded Monads. - Andrej Ivaskovic; Alan Mycroft; Dominic Orchard (FSCD, 2020)

Resourceful Program Synthesis from Graded Linear Types. - Jack Hughes 002; Dominic Orchard (LOPSTR, 2020)

Unifying graded and parameterised monads. - Dominic Orchard; Philip Wadler; Harley Eades III (MSFP@ETAPS, 2020)

Grading Adjoint Logic. - Harley Eades III; Dominic Orchard (CoRR, 2020)

Guiding user annotations for units-of-measure verification. - Dominic Orchard; Mistral Contrastin; Matthew Danish; Andrew Rice (CoRR, 2020)

Deriving Distributive Laws for Graded Linear Types. - Jack Hughes 002; Michael Vollmer 003; Dominic Orchard (Linearity&TLLA@IJCAR-FSCD, 2020)

Graded Hoare Logic and its Categorical Semantics. - Marco Gaboardi; Shin-ya Katsumata; Dominic Orchard; Tetsuya Sato 001 (ESOP, 2021)

Graded Modal Dependent Type Theory. - Benjamin Moon; Harley Eades III; Dominic Orchard (ESOP, 2021)

How to Take the Inverse of a Type. - Danielle Marshall 001; Dominic Orchard (ECOOP, 2022)

Linearity and Uniqueness: An Entente Cordiale. - Danielle Marshall 001; Michael Vollmer 003; Dominic Orchard (ESOP, 2022)

A Theory of Protocol Composition. - Laura Bocchi; Dominic Orchard; A. Laura Voinea (CoRR, 2022)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. - Danielle Marshall 001; Dominic Orchard (PLACES@ETAPS, 2022)

How to Take the Inverse of a Type (Artifact). - Danielle Marshall 001; Dominic Orchard (Dagstuhl Artifacts Ser., 2022)

Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. - Dominic Orchard; Mihail Munteanu; Paulo Torrens (PLACES@ETAPS, 2023)

Graded Modal Types for Integrity and Confidentiality. - Danielle Marshall 001; Dominic Orchard (CoRR, 2023)

A Theory of Composing Protocols. - Laura Bocchi; Dominic Orchard; A. Laura Voinea (Art Sci. Eng. Program., 2023)

Program Synthesis from Graded Types. - Jack Hughes 002; Dominic Orchard (ESOP (1), 2024)

Programming Languages for the Future of Design Computation. - Robert Aish; Al Fisher; Dominic Orchard; Jay Torry (Onward!, 2024)

Conjugate operators for transparent, explorable research outputs. - Joseph Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera (CoRR, 2024)

Incremental units-of-measure verification. - Matthew Danish; Dominic Orchard; Andrew Rice (CoRR, 2024)

Non-linear communication via graded modal session types. - Danielle Marshall 001; Dominic Orchard (Inf. Comput., 2024)

Functional Ownership through Fractional Uniqueness. - Danielle Marshall 001; Dominic Orchard (Proc. ACM Program. Lang., 2024)

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs. - Paulo Torrens; Dominic Orchard; Cristiano D. Vasconcellos (Proc. ACM Program. Lang., 2024)

Structuring Arrays with Algebraic Shapes. - Jakub Bachurski; Alan Mycroft; Dominic Orchard (ARRAY@PLDI, 2025)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models. - Victoria Vollmer; Danielle Marshall 001; Harley Eades III; Dominic Orchard (CSL, 2025)

Cognacy Queries over Dependence Graphs for Transparent Visualisations. - Joseph Bond; Cristina David; Minh Nguyen; Dominic Orchard; Roly Perera (ESOP (1), 2025)

fortran-src: Fortran static analysis infrastructure. - Mistral Contrastin; Raoul Hidalgo Charman; Matthew Danish; Benjamin Orchard; Dominic Orchard; Andrew Rice; Jason Xu (J. Open Source Softw., 2025)

FTorch: a library for coupling PyTorch models to Fortran. - Jack Atkinson; Athena Elafrou; Elliott Kasoar; Joseph G. Wallwork; Thomas Meltzer; Simon Clifford; Dominic Orchard; Chris Edsall (J. Open Source Softw., 2025)