Dominic Orchard

Publications

• Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. Daniel Marshall, Dominic Orchard. 2022.
• A Theory of Composing Protocols. Laura Bocchi, Dominic Orchard, A. Laura Voinea. 2022.
• Deriving Distributive Laws for Graded Linear Types. Jack Hughes, Michael Vollmer, Dominic Orchard. 2021.
• Graded Modal Dependent Type Theory. Benjamin Moon, Harley Eades III, Dominic Orchard. 2021.
• Graded Hoare Logic and Its Categorical Semantics. Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato. 2021.
• Unifying Graded and Parameterised Monads. Dominic Orchard, Philip Wadler, Harley Eades III. 2020.
• Grading Adjoint Logic. Harley Eades III, Dominic Orchard. 2020.
• Using Session Types as an Effect System. Dominic Orchard, Nobuko Yoshida. 2016.
• The Semantic Marriage of Monads and Effects. Dominic Orchard, Tomas Petricek, Alan Mycroft. 2014.