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. et al. (2017). Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM [Online] 1:75. Available at:
Gaboardi, M. et al. (2016). Combining Effects and Coeffects via Grading. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming [Online]:476-489. 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:
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. et al. (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
Contrastin, M. et al. (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. 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., 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. (2014). Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Journal of Functional Programming [Online] 24:524-527. Available at:
Contrastin, M., Orchard, D. and Rice, A. (2018). Automatic reordering for dataflow safety of Datalog. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.
Total publications in KAR: 24 [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/09/2018