Dominic Orchard

Available identifiers

Publication	Date of Publication	Type
Deriving distributive laws for graded linear types	2025-01-06	Paper
Non-linear communication via graded modal session types	2024-12-03	Paper
Linearity and uniqueness: an entente cordiale	2023-08-03	Paper
Resourceful program synthesis from graded linear types	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020617	2022-01-06	Paper
Graded Hoare logic and its categorical semantics	2021-10-18	Paper
Graded modal dependent type theory	2021-10-18	Paper
Unifying graded and parameterised monads	2020-01-28	Paper
Complexity bounds for container functors and comonads	2018-06-14	Paper
Combining effects and coeffects via grading	2017-05-10	Paper
Effects as sessions, sessions as effects	2016-10-24	Paper
Coeffects: a calculus of context-dependent computation	2016-09-29	Paper
Effect Systems Revisited—Control-Flow Algebra and Semantics	2016-03-23	Paper
Automatic SIMD vectorization for Haskell	2015-03-30	Paper
Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger .	2014-12-10	Paper
Coeffects: Unified Static Analysis of Context-Dependence	2013-08-07	Paper
Haskell Type Constraints Unleashed	2010-05-04	Paper
Integrating Lucid's declarative dataflow paradigm into object-orientation	2009-02-17	Paper

This page was built for person: Dominic Orchard