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
