Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 24.
Article
| Orchard, Dominic A. (2018) Complexity bounds for container functors and comonads. Information and Computation, . ISSN 0890-5401. (doi:https://doi.org/10.1016/j.ic.2018.05.008) (Full text available) |
|
| Gaboardi, Marco and Katsumata, Shin-ya and Orchard, Dominic A. and Breuvart, Flavien and Uustalu, Tarmo (2016) Combining Effects and Coeffects via Grading. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, . pp. 476-489. ISSN 0362-1340. E-ISSN 1558-1160. (doi:https://doi.org/10.1145/2951913.2951939) (Full text available) |
|
| Mycroft, Alan and Orchard, Dominic A. and Petricek, Tomas (2016) Effect Systems Revisited - Control-Flow Algebra and Semantics. Lecture Notes in Computer Science, . pp. 1-32. ISSN 0302-9743. (doi:https://doi.org/10.1007/978-3-319-27810-0_1) (Full text available) |
|
| Orchard, Dominic A. and Yoshida, Nobuko (2016) Effects as Sessions, Sessions as Effects. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2016, . pp. 568-581. (doi:https://doi.org/10.1145/2837614.2837634) (Full text available) |
|
| Contrastin, Mistral and Rice, Andrew and Danish, Matthew and Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering, 18 (1). pp. 102-107. ISSN 1521-9615. (doi:https://doi.org/10.1109/MCSE.2016.17) (Full text available) |
|
| Orchard, Dominic A. and Rice, Andrew C. and Oshmyan, Oleg (2015) Evolving Fortran types with inferred units-of-measure. Journal of Computational Science, 9 . pp. 156-162. ISSN 1877-7503. (doi:https://doi.org/10.1016/j.jocs.2015.04.018) (Full text available) |
|
| Petricek, Tomas and Orchard, Dominic A. and Mycroft, Alan (2014) Coeffects: A calculus of context-dependent computation. Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 49 (9). pp. 123-135. ISSN 0362-1340. E-ISSN 1558-1160. (doi:https://doi.org/10.1145/2692915.2628160) (Full text available) |
|
| Orchard, Dominic A. and Petricek, Tomas and Mycroft, Alan (2014) The semantic marriage of monads and effects. CoRR, abs/14 . (Unpublished) (Full text available) |
|
| Orchard, Dominic A. and Matthews, Steve (2008) Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. Mathematics in Computer Science, 2 (1). pp. 103-122. ISSN 1661-8270. E-ISSN 1661-8289. (doi:https://doi.org/10.1007/s11786-008-0046-6) (Full text available) |
|
Book section
| Xia, Li-Yao and Orchard, Dominic A. and Wang, Meng (2019) Composing bidirectional programs monadically. In: Programming Languages and Systems. Springer, pp. 147-175. ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:https://doi.org/10.1007/978-3-030-17184-1_6) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| Orchard, Dominic A. and Yoshida, Nobuko (2017) Session Types with Linearity in Haskell. In: Gay, S. and Ravara, A., eds. Behavioural Types: from Theory to Tools. River Publishers Series in Automation, Control and Robotics . River Publishers, pp. 219-241. ISBN 978-87-93519-82-4. E-ISBN 978-87-93519-81-7. (doi:https://doi.org/10.13052/rp-9788793519817) (Full text available) |
|
Conference or workshop item
| Contrastin, Mistral and Orchard, Dominic A. and Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. ACM ISBN 978-1-4503-6441-6. (doi:https://doi.org/10.1145/3236950.3236954) (Full text available) |
|
| Contrastin, Mistral and Danish, Matthew and Rice, Andrew C. and Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: CEUR Workshop Proceedings. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). (Full text available) |
|
| Aaron, Samuel and Orchard, Dominic A. and Blackwell, Alan F. (2014) Temporal semantics for a live coding language. In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. Association for Computing Machinery pp. 37-47. ISBN 978-1-4503-3039-8. (doi:https://doi.org/10.1145/2633638.2633648) (Full text available) |
|
| Orchard, Dominic A. and Petricek, Tomas (2014) Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. pp. 13-24. ISBN 978-1-4503-3041-1. (doi:https://doi.org/10.1145/2633357.2633368) (Full text available) |
|
| Orchard, Dominic A. and Rice, Andrew C. (2014) A Computational Science Agenda for Programming Language Research. In: Procedia Computer Science. 2014 International Conference on Computational Science. pp. 713-727. ISBN 18770509. E-ISBN 18770509. (doi:https://doi.org/10.1016/j.procs.2014.05.064) (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/other.png)
|
| Petersen, Leaf and Orchard, Dominic A. and Glew, Neal (2013) Automatic SIMD vectorization for Haskell. In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery pp. 25-36. ISBN 978-1-4503-2326-0. (doi:https://doi.org/10.1145/2500365.2500605) (Full text available) |
|
| Petricek, Tomas and Orchard, Dominic A. and Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. In: Lecture Notes in Computer Science. Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II. Springer-Verlag pp. 385-397. ISBN 978-3-642-39211-5. (doi:https://doi.org/10.1007/978-3-642-39212-2_35) (Full text available) |
|
| Orchard, Dominic A. and Mycroft, Alan (2012) A Notation for Comonads. In: Lecture Notes in Computer Science. Symposium on Implementation and Application of Functional Languages. Springer pp. 1-17. (doi:https://doi.org/10.1007/978-3-642-41582-1_1) (Full text available) |
|
| Orchard, Dominic A. (2011) The four Rs of programming language design. In: Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software. pp. 157-162. ISBN 978-1-4503-0941-7. (doi:https://doi.org/10.1145/2089131.2089138) (Full text available) |
|
| Orchard, Dominic A. and Mycroft, Alan (2011) Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. In: In Proceedings DSL 2011. pp. 68-92. (doi:https://doi.org/10.4204/EPTCS.66.4) (Full text available) |
|
| Orchard, Dominic A. and Bolingbroke, Max and Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. In: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming. pp. 15-24. ISBN 978-1-60558-859-9. (doi:https://doi.org/10.1145/1708046.1708053) (Full text available) |
|
| Orchard, Dominic A. and Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. In: Lecture Notes in Computer Science. Functional and Logic Programming. Springer pp. 56-71. (doi:https://doi.org/10.1007/978-3-642-12251-4_6) (Full text available) |
|
Review
| Orchard, Dominic A. (2014) Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger. Review of: Computational Semantics with Functional Programming by van Eijck, Jan and Unger, Christina. Journal of Functional Programming, 24 (4). pp. 524-527. ISSN 0956-7968. E-ISSN 1469-7653. (doi:https://doi.org/10.1017/S0956796814000057) (Full text available) |
|
