School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

Orchard, D. (2018). Complexity bounds for container functors and comonads. Information and Computation [Online]. Available at:
Dominic, O., Mistral, C., Matthew, D. and Andrew, R. (2017). Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM [Online] 1:75. Available at:
Orchard, D. and Yoshida, N. (2016). Effects as Sessions, Sessions as Effects. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2016 [Online]:568-581. Available at:
Mycroft, A., Orchard, D. and Petricek, T. (2016). Effect Systems Revisited - Control-Flow Algebra and Semantics Probst, C. W. P., Hankin, C. and Hansen, R. R. eds. Lecture Notes in Computer Science [Online]:1-32. Available at:
Gaboardi, M., Katsumata, S., Orchard, D., Breuvart, F. and Uustalu, T. (2016). Combining Effects and Coeffects via Grading. ACM SIGPLAN Notices [Online] 51:476-489. Available at:
Orchard, D., Rice, A. and Oshmyan, O. (2015). Evolving Fortran types with inferred units-of-measure. Journal of Computational Science [Online] 9:156-162. Available at:
Contrastin, M., Rice, A., Danish, M. and Orchard, D. (2015). Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering [Online] 18:102-107. Available at:
Petricek, T., Orchard, D. and Mycroft, A. (2014). Coeffects: A calculus of context-dependent computation. Proceedings of the 19th ACM SIGPLAN international conference on Functional programming [Online] 49:123-135. Available at:
Orchard, D., Petricek, T. and Mycroft, A. (2014). The semantic marriage of monads and effects. CoRR [Online] abs/14. Available at:
Orchard, D. and Matthews, S. (2008). Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation. Mathematics in Computer Science [Online] 2:103-122. Available at:
Book section
Orchard, D. and Yoshida, N. (2017). Session Types with Linearity in Haskell. In: Gay, S. and Ravara, A. eds. Behavioural Types: From Theory to Tools. River Publishers, pp. 219-241. Available at:
Conference or workshop item
Xia, L., Orchard, D. and Wang, M. (2019). Composing bidirectional programs monadically. In: 28th European Symposium on Programming (ESOP). Springer, pp. 147-175. Available at:
Contrastin, M., Orchard, D. and Rice, A. (2018). Automatic reordering for dataflow safety of Datalog. In: 20th International Symposium on Principles and Practice of Declarative Programming. ACM. Available at:
Contrastin, M., Danish, M., Rice, A. and Orchard, D. (2016). Supporting Software Sustainability with Lightweight Specifications. In: 4th Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4).
Aaron, S., Orchard, D. and Blackwell, A. (2014). Temporal semantics for a live coding language. In: 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling & Design. Association for Computing Machinery, pp. 37-47. Available at:
Orchard, D. and Rice, A. (2014). A Computational Science Agenda for Programming Language Research. In: Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns. pp. 713-727. Available at:
Orchard, D. and Petricek, T. (2014). Embedding effect systems in Haskell. In: ACM SIGPLAN Symposium on Haskell. pp. 13-24. Available at:
Petricek, T., Orchard, D. and Mycroft, A. (2013). Coeffects: Unified static analysis of context-dependence. In: Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013. Springer-Verlag, pp. 385-397. Available at:
Petersen, L., Orchard, D. and Glew, N. (2013). Automatic SIMD vectorization for Haskell. In: ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, pp. 25-36. Available at:
Orchard, D. and Mycroft, A. (2012). A Notation for Comonads. In: Revised Selected Papers from 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012. Springer, pp. 1-17. Available at:
Orchard, D. (2011). The four Rs of programming language design. In: ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2011. pp. 157-162. Available at:
Orchard, D. and Mycroft, A. (2011). Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. In: Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011. pp. 68-92. Available at:
Orchard, D., Bolingbroke, M. and Mycroft, A. (2010). Ypnos: declarative, parallel structured grid programming. In: Workshop on Declarative Aspects of Multicore Programming, DAMP 2010. pp. 15-24. Available at:
Orchard, D. and Schrijvers, T. (2010). Haskell Type Constraints Unleashed. In: Functional and Logic Programming, 10th International Symposium, FLOPS 2010. Springer, pp. 56-71. Available at:
Orchard, D. (2014). Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Journal of Functional Programming [Online] 24:524-527. Available at:
Orchard, D., Liepelt, V. and Eades, H. (2019). Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages.
Total publications in KAR: 26 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/07/2019