Coeffects: A calculus of context-dependent computation T Petricek, D Orchard, A Mycroft ICFP 2014, 2014 | 127 | 2014 |
Combining effects and coeffects via grading. M Gaboardi, S Katsumata, DA Orchard, F Breuvart, T Uustalu ICFP 2016, 476-489, 2016 | 100 | 2016 |
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 | 99 | 2019 |
Coeffects: Unified static analysis of context-dependence⋆ T Petricek, D Orchard, A Mycroft LNCS, Prooceings of 40th International Colloquium on Automata, Languages …, 2013 | 66 | 2013 |
Effects as sessions, sessions as effects D Orchard, N Yoshida POPL 2016 51 (1), 568-581, 2016 | 65 | 2016 |
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 | 43 | 2014 |
Graded Modal Dependent Type Theory B Moon, H Eades III, D Orchard arXiv preprint arXiv:2010.13163, 2020 | 34 | 2020 |
Haskell type constraints unleashed D Orchard, T Schrijvers International Symposium on Functional and Logic Programming, 56-71, 2010 | 32 | 2010 |
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 | 30 | 2016 |
Programming contextual computations D Orchard Cambridge University, 2013 | 24 | 2013 |
Linearity and Uniqueness: An Entente Cordiale D Marshall, M Vollmer, D Orchard European Symposium on Programming, 346-375, 2022 | 23 | 2022 |
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 | 16 | 2020 |
Session types with linearity in Haskell DA Orchard, N Yoshida Behavioural Types: from Theory to Tools, 219-241, 2017 | 15 | 2017 |
Evolving Fortran types with inferred units-of-measure D Orchard, A Rice, O Oshmyan Journal of Computational Science, 2015 | 15 | 2015 |
Temporal Semantics for a Live Coding Language S Aaron, D Orchard, AF Blackwell Functional Art, Music, and Modelling and Design (FARM) 2014, 2014 | 15 | 2014 |