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

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

Jump to: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2008

Number of items: 35.

2023

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

2022

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: Leibniz International Proceedings in Informatics. 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: Lecture Notes in Computer Science. Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science , 13240. pp. 346-375. 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)

2021

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, Sato, Tetsuya (2021) Graded Hoare Logic and its Categorical Semantics. European Symposium on Programming 2021, . pp. 234-263. (doi:10.1007/978-3-030-72019-3_9) (KAR id:91713)

Moon, Benjamin, Eades, Harley, Orchard, Dominic (2021) Graded Modal Dependent Type Theory. Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, . (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. Lecture Notes in Computer Science, 12561 . ISSN 0302-9743. (doi:10.1007/978-3-030-68446-4_8) (KAR id:84636)

2020

Ivašković, Andrej, Mycroft, Alan, Orchard, Dominic (2020) Data-flow analyses as effects and graded monads. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 167 . (doi:10.4230/LIPIcs.FSCD.2020.15) (KAR id:81880)

2019

Danish, Matthew, Allamanis, Miltiadis, Brockschmidt, Marc, Rice, Andrew, Orchard, Dominic A. (2019) Learning Units-of-Measure from Scientific Code. 2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science), . pp. 43-46. (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. Lecture Notes in Computer Science, 11423 . pp. 147-175. ISSN 0302-9743. (doi:10.1007/978-3-030-17184-1_6) (KAR id:72625)

2018

Contrastin, Mistral, Orchard, Dominic A., Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, . (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)

2017

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)

2016

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. CEUR Workshop Proceedings, 1686 . ISSN 1613-0073. (KAR id:66901)

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic A., Breuvart, Flavien, Uustalu, Tarmo (2016) Combining Effects and Coeffects via Grading. ACM SIGPLAN Notices, 51 (9). pp. 476-489. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2951913.2951939) (KAR id:57480)

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. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2016, . pp. 568-581. (doi:10.1145/2837614.2837634) (KAR id:57481)

2015

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. Journal of Computational Science, 9 . pp. 156-162. ISSN 1877-7503. (doi:10.1016/j.jocs.2015.04.018) (KAR id:57483)

2014

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2014) Coeffects: A calculus of context-dependent computation. Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, . pp. 123-135. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2628136.2628160) (KAR id:57493)

Aaron, Samuel, Orchard, Dominic, Blackwell, Alan F. (2014) Temporal semantics for a live coding language. . pp. 37-47. (doi:10.1145/2633638.2633648) (KAR id:57489)

Orchard, Dominic, Petricek, Tomas (2014) Embedding effect systems in Haskell. . pp. 13-24. (doi:10.1145/2633357.2633368) (KAR id:57487)

Orchard, Dominic, Rice, Andrew (2014) A Computational Science Agenda for Programming Language Research. Procedia Computer Science, 29 . pp. 713-727. ISSN 1877-0509. (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)

2013

Petersen, Leaf, Orchard, Dominic, Glew, Neal (2013) Automatic SIMD vectorization for Haskell. . pp. 25-36. (doi:10.1145/2500365.2500605) (KAR id:57494)

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. Lecture Notes in Computer Science, 7966 . pp. 385-397. ISSN 0302-9743. (doi:10.1007/978-3-642-39212-2_35) (KAR id:57543)

2012

Orchard, Dominic A., Mycroft, Alan (2012) A Notation for Comonads. Lecture Notes in Computer Science, . pp. 1-17. ISSN 0302-9743. (doi:10.1007/978-3-642-41582-1_1) (KAR id:57495)

2011

Orchard, Dominic A. (2011) The four Rs of programming language design. . pp. 157-162. (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. . pp. 68-92. (doi:10.4204/EPTCS.66.4) (KAR id:57497)

2010

Orchard, Dominic A., Bolingbroke, Max, Mycroft, Alan (2010) Ypnos: declarative, parallel structured grid programming. . pp. 15-24. (doi:10.1145/1708046.1708053) (KAR id:57499)

Orchard, Dominic A., Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. Lecture Notes in Computer Science, . pp. 56-71. ISSN 0302-9743. (doi:10.1007/978-3-642-12251-4_6) (KAR id:57498)

2008

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)

This list was generated on Wed Apr 24 19:45:06 2024 BST.