Dominic Orchard
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Data-flow analyses as effects and graded monads | 2026-02-24 | Paper |
| Deriving distributive laws for graded linear types | 2025-01-06 | Paper |
| Non-linear communication via graded modal session types Information and Computation | 2024-12-03 | Paper |
| Linearity and uniqueness: an entente cordiale Programming Languages and Systems | 2023-08-03 | Paper |
| Resourceful program synthesis from graded linear types | 2022-03-23 | Paper |
| Unifying graded and parameterised monads | 2022-01-06 | Paper |
| Unifying graded and parameterised monads (available as arXiv preprint) | 2022-01-06 | Paper |
| Graded Hoare logic and its categorical semantics (available as arXiv preprint) | 2021-10-18 | Paper |
| Graded modal dependent type theory (available as arXiv preprint) | 2021-10-18 | Paper |
| Unifying graded and parameterised monads (available as arXiv preprint) | 2020-01-28 | Paper |
| Complexity bounds for container functors and comonads Information and Computation | 2018-06-14 | Paper |
| Combining effects and coeffects via grading Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Effects as sessions, sessions as effects Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Coeffects: a calculus of context-dependent computation Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Effect systems revisited -- control-flow algebra and semantics Semantics, Logics, and Calculi | 2016-03-23 | Paper |
| Automatic SIMD vectorization for Haskell Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger . Journal of Functional Programming | 2014-12-10 | Paper |
| Coeffects: unified static analysis of context-dependence Automata, Languages, and Programming | 2013-08-07 | Paper |
| Haskell type constraints unleashed Functional and Logic Programming | 2010-05-04 | Paper |
| Integrating Lucid's declarative dataflow paradigm into object-orientation Mathematics in Computer Science | 2009-02-17 | Paper |
Research outcomes over time
This page was built for person: Dominic Orchard
