Coeffects: A calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ICFP 2014, 2014 | 130 | 2014 |
Quantitative program reasoning with graded modal types D Orchard, VB Liepelt, H Eades III Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019 | 104 | 2019 |
Combining effects and coeffects via grading. M Gaboardi, S Katsumata, DA Orchard, F Breuvart, T Uustalu ICFP 2016, 476-489, 2016 | 102 | 2016 |
Effects as sessions, sessions as effects D Orchard, N Yoshida POPL 2016 51 (1), 568-581, 2016 | 68 | 2016 |
Coeffects: Unified static analysis of context-dependence⋆ T Petricek, D Orchard, A Mycroft LNCS, Prooceings of 40th International Colloquium on Automata, Languages …, 2013 | 67 | 2013 |
Ypnos: declarative, parallel structured grid programming DA Orchard, M Bolingbroke, A Mycroft Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of …, 2010 | 48 | 2010 |
Embedding effect systems in Haskell D Orchard, T Petricek Haskell Symposium 2014, 2014 | 44 | 2014 |
Graded Modal Dependent Type Theory B Moon, H Eades III, D Orchard arXiv preprint arXiv:2010.13163, 2020 | 34 | 2020 |
Effect systems revisited—control-flow algebra and semantics A Mycroft, D Orchard, T Petricek Semantics, Logics, and Calculi - Lecture Notes in Computer Science 9560, 1-32, 2016 | 32 | 2016 |
Haskell type constraints unleashed D Orchard, T Schrijvers International Symposium on Functional and Logic Programming, 56-71, 2010 | 32 | 2010 |
Linearity and Uniqueness: An Entente Cordiale D Marshall, M Vollmer, D Orchard European Symposium on Programming, 346-375, 2022 | 24 | 2022 |
Programming contextual computations D Orchard Cambridge University, 2013 | 24 | 2013 |
The semantic marriage of monads and effects D Orchard, T Petricek, A Mycroft arXiv preprint arXiv:1401.5391, 2014 | 22 | 2014 |
A computational science agenda for programming language research D Orchard, A Rice International Conference of Computational Science, 2014 | 22 | 2014 |
Automatic SIMD Vectorization for Haskell L Petersen, D Orchard, N Glew Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 19 | 2013 |
Upgrading Fortran source code using automatic refactoring D Orchard, A Rice Proceedings of the 2013 ACM workshop on Workshop on refactoring tools, Pages …, 2013 | 18 | 2013 |
Unifying graded and parameterised monads D Orchard, P Wadler, H Eades III arXiv preprint arXiv:2001.10274, 2020 | 17 | 2020 |
Temporal Semantics for a Live Coding Language S Aaron, D Orchard, AF Blackwell Functional Art, Music, and Modelling and Design (FARM) 2014, 2014 | 17 | 2014 |
Data-Flow Analyses as Effects and Graded Monads A Ivašković, A Mycroft, D Orchard 5th International Conference on Formal Structures for Computation and …, 2020 | 16 | 2020 |
Session types with linearity in Haskell DA Orchard, N Yoshida Behavioural Types: from Theory to Tools, 219-241, 2017 | 15 | 2017 |