Skip to main content

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

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | C | D | G | H | I | M | O | P | X
Number of items: 31.

A

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)
[thumbnail of sonicpi.pdf]
Preview

C

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)
[thumbnail of article.pdf]

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)
[thumbnail of Contrastin_et_al-2016-Proceedings_of_the_Fourth_Workshop_on_Sustainable_Software_for_Science_Practice_and_Experiences-VoR.pdf]
Preview

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)
[thumbnail of cise.pdf]
Preview

D

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)
[thumbnail of se4science19.pdf]
Preview

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)
[thumbnail of oopsla17main-oopsla85-p-a67c5c0-33950-final.pdf]
Preview

G

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)
[thumbnail of Gaboardi2021_Chapter_GradedHoareLogicAndItsCategori.pdf]
Preview

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)
[thumbnail of bieffects.pdf]
Preview

H

Hughes, Jack, Orchard, Dominic A. (2020) Resourceful program synthesis from graded linear types. Proceedings of International Symposium on Logic-based Program Synthesis and Transformation, . (In press) (KAR id:84636)
[thumbnail of Hughes-Orchard2021_Chapter_ResourcefulProgramSynthesisFro.pdf]
Preview

I

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)
[thumbnail of dataflow-effect-monads.pdf]
Preview

M

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)
[thumbnail of 2010.13163.pdf]
Preview

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)
[thumbnail of effects-revisited.pdf]
Preview

O

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)
[thumbnail of (with appendices)]
Preview

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)
[thumbnail of 1-s2.0-S0890540118300804-main.pdf]
Preview
[thumbnail of paper.pdf]
Preview

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)
[thumbnail of RP_9788793519817C10.pdf]
Preview
[thumbnail of RP_9788793519817C10.pdf]
Preview

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)
[thumbnail of popl16-orchard-yoshida.pdf]
Preview

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)
[thumbnail of paper.pdf]
Preview

Orchard, Dominic, Petricek, Tomas (2014) Embedding effect systems in Haskell. . pp. 13-24. (doi:10.1145/2633357.2633368) (KAR id:57487)
[thumbnail of haskell19f-revised.pdf]
Preview

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)
[thumbnail of 1-s2.0-S1877050914002415-main.pdf__tid=003df357e7a0-857d-11e6-bba6-00000aab0f26&acdnat=003d1475068848_6708ea54d92eca54e9269df89bce7fb4] [thumbnail of iccs14-orchard-rice.pdf]
Preview

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)
[thumbnail of computational-semantics.pdf]
Preview

Orchard, Dominic A., Petricek, Tomas, Mycroft, Alan (2014) The semantic marriage of monads and effects. CoRR, abs/14 . (Unpublished) (KAR id:57492)
[thumbnail of 1401.5391.pdf]
Preview

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)
[thumbnail of codo-notation-orchard-ifl12.pdf]
Preview

Orchard, Dominic A. (2011) The four Rs of programming language design. . pp. 157-162. (doi:10.1145/2089131.2089138) (KAR id:57496)
[thumbnail of onwards-essay-orchard11.pdf]
Preview

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)
[thumbnail of 1109.0777.pdf]
Preview

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)
[thumbnail of ypnos-damp10.pdf]
Preview

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)
[thumbnail of constraint-families.pdf]
Preview

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)
[thumbnail of lucian.pdf]
Preview

P

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)
[thumbnail of paper.pdf]
Preview

Petersen, Leaf, Orchard, Dominic, Glew, Neal (2013) Automatic SIMD vectorization for Haskell. . pp. 25-36. (doi:10.1145/2500365.2500605) (KAR id:57494)
[thumbnail of icfp-2013-simd-vectorisation.pdf]
Preview

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)
[thumbnail of coeffects-icalp13.pdf]
Preview

X

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)
[thumbnail of Composing Bidirectional Programs Monadically.pdf]
Preview
[thumbnail of paper.pdf]

This list was generated on Tue Jan 18 19:48:51 2022 GMT.