School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

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:
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:
Conference or workshop item
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:
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:
Total publications in KAR: 6 [See all in KAR]

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

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

Last Updated: 28/04/2017