School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

Orchard, D., Liepelt, V. and Eades, H. (2019). Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages [Online] 3. Available at:
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:
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:
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:
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:
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:
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:
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. and Rice, A. (2014). A Computational Science Agenda for Programming Language Research. Procedia Computer Science [Online] 29:713-727. 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:
Aaron, S., Orchard, D. and Blackwell, A. (2014). Temporal semantics for a live coding language. In: Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling & Design. New York, USA: ACM, pp. 37-47. Available at:
Orchard, D. and Petricek, T. (2014). Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell. New York, USA: ACM, pp. 13-24. Available at:
Petersen, L., Orchard, D. and Glew, N. (2013). Automatic SIMD vectorization for Haskell. In: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. New York, USA: ACM, pp. 25-36. Available at:
Orchard, D. (2011). The four Rs of programming language design. In: Onward! 2011 Proceedings of the 10th SIGPLAN Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, USA: ACM, pp. 157-162. Available at:
Orchard, D., Bolingbroke, M. and Mycroft, A. (2010). Ypnos: declarative, parallel structured grid programming. In: DAMP '10 Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming. New York, USA: ACM, pp. 15-24. 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).
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:
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. 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. 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:
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: 18/01/2020