School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

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.
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:
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:
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:
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:
Contrastin, M. et al. (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., 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:
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: 24/01/2019