Items where Author, Editor or other role is "Orchard, Dominic"

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 61.

Marshall, Danielle (2026) Graded Modal Types for Memory and Communication Safety. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:113723)

Liepelt, Vilem, Marshall, Daniel, Orchard, Dominic, Rajani, Vineet, Vollmer, Michael (2025) On graded coeffect types for information-flow control. “Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice Essays Dedicated to Alan Mycroft on the Occasion of His Retirement”, LNCS Volume number 15500, 2025, . pp. 114-148. (doi:10.1007/978-3-032-08187-2_7) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:112666)

Baramashetru, Chinmayi, Orchard, Dominic (2025) Towards modelling and verification of coupler behaviour in climate models. In: PROPL '25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Association for Computing Machinery E-ISBN 979-8-4007-2161-8. (doi:10.1145/3759536.3763801) (KAR id:111663)

Orchard, Dominic A. and Petricek, Tomas and Singer, Jeremy, eds. (2025) Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement. Lecture Notes in Computer Science, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115290)

Bachurski, Jakub, Mycroft, Alan, Orchard, Dominic A. (2025) Structuring Arrays with Algebraic Shapes. In: Scholz, Sven-Bodo and Sinkarovs, Artjoms, eds. ARRAY '25: Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming. ACM ISBN 979-8-4007-1927-1. (doi:10.1145/3736112.3736141) (KAR id:113873)

Bond, Joe, David, Cristina, Nguyen, Minh, Orchard, Dominic A., Perera, Roly (2025) Cognacy queries over dependence graphs for transparent visualisations. In: Programming Languages and Systems. Association for Computing Machinery (ACM) (doi:10.1007/978-3-031-91118-7_6) (KAR id:112665)

Atkinson, Jack, Elafrou, Athena, Kasoar, Elliott, Wallwork, Joseph, Meltzer, Thomas, Clifford, Simon, Orchard, Dominic A., Edsall, Chris (2025) FTorch: a library for coupling PyTorch models to Fortran. The Journal of Open Source Software, 10 (107). Article Number 7602. ISSN 2475-9066. (doi:10.21105/joss.07602) (KAR id:113872)

Contrastin, Mistral, Charman, Raoul Hidalgo, Danish, Matthew, Orchard, Benjamin, Orchard, Dominic A., Rice, Andrew, Xu, Jason (2025) fortran-src: Fortran static analysis infrastructure. Journal of Open Source Software, 10 (106). Article Number 7571. ISSN 2475-9066. (doi:10.21105/joss.07571) (KAR id:108766)

Vollmer, Victoria, Marshall, Daniel, Eades, Harley, Orchard, Dominic (2025) A mixed linear and graded logic: proofs, terms, and models. In: UNSPECIFIED. (doi:10.4230/LIPIcs.CSL.2025.32) (KAR id:112664)

Marshall, Danielle, Orchard, Dominic A. (2024) Non-linear communication via graded modal session types. Information and Computation, 301 (Part A). Article Number 105234. ISSN 0890-5401. E-ISSN 1090-2651. (doi:10.1016/j.ic.2024.105234) (KAR id:107848)

Hughes, Jack Oliver (2024) Program Synthesis from Linear and Graded Types. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.107798) (KAR id:107798)

Aish, Robert, Fisher, Al, Orchard, Dominic A., Torry, Jay (2024) Programming Languages for the Future of Design Computation. In: Onward! '24: Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, New York, USA ISBN 979-8-4007-1215-9. (doi:10.1145/3689492.3689812) (KAR id:107186)

Torrens, Paulo, Orchard, Dominic A., Vasconcellos, Cristiano (2024) On the operational theory of the CPS-calculus: Towards a theoretical foundation for IRs. Proceedings of the ACM on Programming Languages, 8 (ICFP). pp. 147-176. E-ISSN 2475-1421. (doi:10.1145/3674630) (KAR id:106878)

Marshall, Daniel, Orchard, Dominic A. (2024) Functional Ownership through Fractional Uniqueness. Proceedings of the ACM on Programming Languages, 8 (OOPSLA). pp. 1040-1070. ISSN 2475-1421. (doi:10.1145/3649848) (KAR id:105880)

Hughes, Jack, Orchard, Dominic A. (2024) Program Synthesis from Graded Types. In: Programming Languages and Systems. 33rd European Symposium on Programming, ESOP 2024. Lecture Notes in Computer Science Springer ISBN 978-3-031-57261-6. (doi:10.1007/978-3-031-57262-3_4) (KAR id:113874)

Orchard, Dominic A., Munteanu, Mihail, Torrens, Paulo (2023) Communicating actor automata - modelling erlang processes as communicating machines. In: Castellani, Illaria and Scalas, Alceste, eds. Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2023). Open Publishing Association (doi:10.4204/eptcs.378.4) (KAR id:101035)

Bocchi, Laura, Orchard, Dominic A., Voinea, Laura (2022) A Theory of Composing Protocols. The Art, Science, and Engineering of Programming, 7 (2). Article Number 6. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2023/7/6) (KAR id:98303)

Marshall, Daniel, Orchard, Dominic A. (2022) How to Take the Inverse of a Type. In: Proceedings of 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl ISBN 978-3-95977-225-9. (doi:10.4230/LIPIcs.ECOOP.2022.5) (KAR id:98022)

Marshall, Daniel, Vollmer, Michael, Orchard, Dominic (2022) Linearity and uniqueness: An Entente Cordiale. In: Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science Springer ISBN 978-3-030-99336-8. E-ISBN 978-3-030-99336-8. (doi:10.1007/978-3-030-99336-8_13) (KAR id:98024)

Marshall, Daniel, Orchard, Dominic A. (2022) Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. In: Proceedings of the Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software. Electronic Proceedings in Theoretical Computer Science (doi:10.4204/EPTCS.356.1) (KAR id:113875)

Hughes, Jack, Vollmer, Michael, Orchard, Dominic A. (2021) Deriving Distributive Laws for Graded Linear Types. In: UNSPECIFIED. (KAR id:115287)

Ko, Hsiang-Shang and Orchard, Dominic A., eds. (2021) TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development. TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115292)

Morales, Jose and Orchard, Dominic A., eds. (2021) Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021. Practical Aspects of Declarative Languages, . ISSN 0302-9743. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115293)

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, Sato, Tetsuya (2021) Graded Hoare Logic and its Categorical Semantics. In: UNSPECIFIED. (doi:10.1007/978-3-030-72019-3_9) (KAR id:91713)

Moon, Benjamin, Eades, Harley, Orchard, Dominic (2021) Graded Modal Dependent Type Theory. In: UNSPECIFIED. (doi:10.1007/978-3-030-72019-3_17) (KAR id:91712)

Hughes, Jack, Orchard, Dominic A. (2021) Resourceful program synthesis from graded linear types. In: Logic-Based Program Synthesis and Transformation. 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Springer ISBN 978-3-030-68445-7. (doi:10.1007/978-3-030-68446-4_8) (KAR id:84636)

Ivašković, Andrej, Mycroft, Alan, Orchard, Dominic (2020) Data-flow analyses as effects and graded monads. In: UNSPECIFIED. (doi:10.4230/LIPIcs.FSCD.2020.15) (KAR id:81880)

Orchard, Dominic A., Wadler, Philip, Eades, Harley (2020) Unifying graded and parameterised monads. In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, 25th April 2020, Dublin, Ireland. (KAR id:84635)

Danish, Matthew, Allamanis, Miltiadis, Brockschmidt, Marc, Rice, Andrew, Orchard, Dominic A. (2019) Learning Units-of-Measure from Scientific Code. In: Proceedings: 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science 2019). IEEE ISBN 978-1-7281-2277-9. E-ISBN 978-1-7281-2276-2. (doi:10.1109/SE4Science.2019.00013) (KAR id:79924)

Orchard, Dominic A., Liepelt, Vilem, Eades, Harley (2019) Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages, 3 (ICFP). Article Number 110. E-ISSN 2475-1421. (doi:10.1145/3341714) (KAR id:74450)

Xia, Li-Yao, Orchard, Dominic A., Wang, Meng (2019) Composing bidirectional programs monadically. In: Programming Languages and Systems. ESOP 2019. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_6) (KAR id:72625)

Martins, Francisco and Orchard, Dominic A., eds. (2019) Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019. Electronic Proceedings in Theoretical Computer Science, . ISSN 2075-2180. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115294)

Contrastin, Mistral, Orchard, Dominic A., 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. ACM ISBN 978-1-4503-6441-6. (doi:10.1145/3236950.3236954) (KAR id:68499)

Orchard, Dominic A. (2018) Complexity bounds for container functors and comonads. Information and Computation, . ISSN 0890-5401. (doi:10.1016/j.ic.2018.05.008) (KAR id:66631)

Dominic, Orchard, Mistral, Contrastin, Matthew, Danish, Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 75. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133899) (KAR id:62274)

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:10.13052/rp-9788793519817) (KAR id:66632)

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). (KAR id:66901)

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic A., Breuvart, Flavien, Uustalu, Tarmo (2016) Combining Effects and Coeffects via Grading. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. (doi:10.1145/2951913.2951939) (KAR id:57480)

Orchard, Dominic A. and Yoshida, Nobuko, eds. (2016) Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016. Electronic Proceedings in Theoretical Computer Science, . ISSN 2075-2180. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115295)

Orchard, Dominic A., Yoshida, Nobuko (2016) Using session types as an effect system. In: Gay, Simon and Alglave, Jade, eds. Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. Open Publishing Association (doi:10.4204/EPTCS.203.1) (KAR id:61624)

Mycroft, Alan, Orchard, Dominic A., Petricek, Tomas (2016) Effect Systems Revisited - Control-Flow Algebra and Semantics. Lecture Notes in Computer Science, . pp. 1-32. ISSN 0302-9743. (doi:10.1007/978-3-319-27810-0_1) (KAR id:61623)

Orchard, Dominic A., Yoshida, Nobuko (2016) Effects as Sessions, Sessions as Effects. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. (doi:10.1145/2837614.2837634) (KAR id:57481)

Contrastin, Mistral, Rice, Andrew, Danish, Matthew, Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering, 18 (1). pp. 102-107. ISSN 1521-9615. (doi:10.1109/MCSE.2016.17) (KAR id:61621)

Orchard, Dominic A., Rice, Andrew C., Oshmyan, Oleg (2015) Evolving Fortran types with inferred units-of-measure. In: UNSPECIFIED. (doi:10.1016/j.jocs.2015.04.018) (KAR id:57483)

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2014) Coeffects: A calculus of context-dependent computation. In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. (doi:10.1145/2628136.2628160) (KAR id:57493)

Urma, Raoul Gabriel and Orchard, Dominic A. and Mycroft, Alan, eds. (2014) PLE '14: Proceedings of the 1st Workshop on Programming Language Evolution. PLE '14: Proceedings of the 1st Workshop on Programming Language Evolution, . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:115297)

Aaron, Samuel, Orchard, Dominic, 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. ICFP International Conference on Functional Programming ACM, New York, USA ISBN 978-1-4503-3039-8. (doi:10.1145/2633638.2633648) (KAR id:57489)

Orchard, Dominic, Petricek, Tomas (2014) Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. ICFP International Conference on Functional Programming ACM, New York, USA ISBN 978-1-4503-3041-1. (doi:10.1145/2633357.2633368) (KAR id:57487)

Orchard, Dominic, Rice, Andrew (2014) A Computational Science Agenda for Programming Language Research. In: 2014 International Conference on Computational Science. Elsevier (doi:10.1016/j.procs.2014.05.064) (KAR id:57488)

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:10.1017/S0956796814000057) (KAR id:57485)

Orchard, Dominic A. and Petricek, Tomas and Mycroft, Alan (2014) The semantic marriage of monads and effects. [Preprint] (doi:10.48550/arXiv.1401.5391) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:57492)

Petersen, Leaf, Orchard, Dominic, Glew, Neal (2013) Automatic SIMD vectorization for Haskell. In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming ACM, New York, USA ISBN 978-1-4503-2326-0. (doi:10.1145/2500365.2500605) (KAR id:57494)

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. In: Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II. Springer-Verlag ISBN 978-3-642-39211-5. (doi:10.1007/978-3-642-39212-2_35) (KAR id:57543)

Orchard, Dominic A., Mycroft, Alan (2012) A Notation for Comonads. In: Symposium on Implementation and Application of Functional Languages. Springer (doi:10.1007/978-3-642-41582-1_1) (KAR id:57495)

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. SPLASH Systems, Programming, and Applications ACM, New York, USA ISBN 978-1-4503-0941-7. (doi:10.1145/2089131.2089138) (KAR id:57496)

Orchard, Dominic A., Mycroft, Alan (2011) Efficient and Correct Stencil Computation via Pattern Matching and Static Typing. In: In Proceedings DSL 2011. (doi:10.4204/EPTCS.66.4) (KAR id:57497)

Orchard, Dominic A., Bolingbroke, Max, Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. In: Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming. POPL Principles of Programming Languages ACM, New York, USA ISBN 978-1-60558-859-9. (doi:10.1145/1708046.1708053) (KAR id:57499)

Orchard, Dominic A., Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. In: Functional and Logic Programming. Springer (doi:10.1007/978-3-642-12251-4_6) (KAR id:57498)

Orchard, Dominic A., 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:10.1007/s11786-008-0046-6) (KAR id:57500)

Bocchi, Laura and Orchard, Dominic A. and Voinea, Laura A theory of protocol composition. Technical report. NA 10.48550/arXiv.2203.02461. (Unpublished) (doi:10.48550/arXiv.2203.02461) (KAR id:93297)

This list was generated on Tue May 19 19:21:22 2026 BST.