PhD Dissertation
 Programming contextual computations
Dominic Orchard, University of Cambridge, 2014, Technical Report PDF
Drafts
 Complexity bounds for container functors and comonads
Publications

Combining Effects and Coeffects via Grading
Marco Gaboardi, Shinya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
ICFP 2016, [preprint PDF]

Effect Systems Revisited — ControlFlow Algebra and Semantics

Effects as sessions, sessions as effects

Evolving Fortran types with inferred unitsofmeasure
Dominic Orchard, Andrew Rice, Oleg Oshmyan.
ICCS 2015 and selected for the special issue of the Journal of Computational Science. [preprint PDF,Elsevier version]. 
Using session types as an effect system

Embedding effect systems in Haskell

Temporal semantics for a live coding language

Coeffects: A calculus of contextdependent computation

A computational science agenda for programming
language research
Dominic Orchard, Andrew Rice.
ICCS (International Conference on Computational Science) 2014 [preprint PDF]

The semantic marriage of monads and effects (extended abstract)
Dominic Orchard, Tomas Petricek, Alan Mycroft, 2013, [arXiv:1401.5391] (local PDF) 
Upgrading Fortran source code using automatic refactoring
Dominic Orchard, Andrew Rice.
WRT'13 (ACM Workshop on Refactoring Tools 2013, colocated with SPLASH 2013) [PDF]

Automatic SIMD Vectorization for Haskell

Coeffects: Unified static analysis of contextdependence

A Notation for Comonads
 The four Rs of programming language design
 Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
Dominic Orchard and Alan Mycroft
IFIP Working Conference on DomainSpecific Languages, Bordeaux, September 2011 (DSL 2011')
[PDF at the arXiv] [implementation]  Haskell Type Constraints Unleashed
Dominic Orchard and Tom Schrijvers
10^{th} International Symposium on Functional and Logic Programming, FLOPS 2010, Sendai, Japan, April 2010
[On SpringerLink] [Author's Copy with corrections]  [Accompanying technical report]  [Prototype implementation]  Ypnos : Declarative Parallel Structured Grid Programming
Dominic Orchard, Max Bolingbroke, and Alan Mycroft
5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP '10. Madrid, Spain, 2010.
[PDF + corrections] [ACM Portal]  muCell  Interdisciplinary Research in Modelling and Simulation of Cell Spatial Behaviour
Dominic Orchard, Jonathan Gover, Lewis Herrington, James Lohr, Duncan Stead, Cathy Young, Sara Kalvala
Reinvention: a Journal of Undergraduate Research, Volume 2, Issue 1, April 2009
[Online version]  [PDF version]  [Shortened PDF version]  Integrating Lucid's Declarative Dataflow Paradigm into ObjectOrientation
Dominic Orchard and Steve Matthews
Mathematics in Computer Science, 2(1), November 2008
[PDF  author's copy] [On SpringerLink]
Articles

UnitsofMeasure Correctness in Fortran Programs

Book review: Computational Semantics with Functional Programming
by Jan van Eijck and Christina Unger
Dominic Orchard, Journal of Functional Programming (April, 2014) [preprint PDF] [JFP online] 
The Unreasonable Effectiveness of (Basic Secondary School) Mathematics
Dominic Orchard, Jesus College Annual Report 2012, (p.2728) [magainze PDF] (has corrupted figure on p.28) [article PDF]
Old drafts and notes (some may be resurrected someday)

Categorical Programming for Data Types with Restricted Parametericity
Dominic Orchard and Alan Mycroft.
(Rejected from the TFP 2012 postproceedings) [Draft PDF].
(An earlier version appeared in the preproceedings of TFP 2012 as "Mathematical Structures for Data Types with Restricted Parametricity".)

Should I use a Monad or a Comonad?