School of Computing

Publications by Dr Dominic Orchard

Also view these in the Kent Academic Repository

Article
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: https://doi.org/10.1007/978-3-319-27810-0_1.
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: http://dx.doi.org/10.1145/2951913.2951939.
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: http://doi.acm.org/10.1145/2837614.2837634.
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: http://dx.doi.org/10.1016/j.jocs.2015.04.018.
Contrastin, M. et al. (2015). Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering [Online] 18:102-107. Available at: https://doi.org/10.1109/MCSE.2016.17.
Orchard, D., Petricek, T. and Mycroft, A. (2014). The semantic marriage of monads and effects. CoRR [Online] abs/14. Available at: http://arxiv.org/abs/1401.5391.
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: http://dx.doi.org/10.1145/2692915.2628160.
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: http://dx.doi.org/10.1007/s11786-008-0046-6.
Conference or workshop item
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: http://doi.acm.org/10.1145/2633638.2633648.
Orchard, D. and Petricek, T. (2014). Embedding effect systems in Haskell. in: ACM SIGPLAN symposium on Haskell. pp. 13-24. Available at: http://doi.acm.org/10.1145/2633357.2633368.
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: http://dx.doi.org/10.1016/j.procs.2014.05.064.
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: http://doi.acm.org/10.1145/2500365.2500605.
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: http://link.springer.com/chapter/10.1007/978-3-642-39212-2_35.
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: http://dx.doi.org/10.1007/978-3-642-41582-1_1.
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: http://dx.doi.org/10.4204/EPTCS.66.4.
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: http://doi.acm.org/10.1145/2089131.2089138.
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: http://dx.doi.org/10.1007/978-3-642-12251-4_6.
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: http://doi.acm.org/10.1145/1708046.1708053.
Review
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: http://dx.doi.org/10.1017/S0956796814000057.
Total publications in KAR: 19 [See all in KAR]

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

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

Last Updated: 23/06/2017