1 citations · 3 across the 4 of their papers we have counts for
8 papers
Guiding user annotations for units-of-measure verification
Dominic Orchard, Mistral Contrastin, Matthew Danish +1
This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our…
Graded Modal Dependent Type Theory
Benjamin Moon, Harley Eades, Dominic Orchard
Graded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many su…
Graded Hoare Logic and its Categorical Semantics
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard +1
Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend o…
Grading Adjoint Logic
Harley Eades, Dominic Orchard
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules…
Unifying graded and parameterised monads
Dominic Orchard, Philip Wadler, Harley Eades
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads…
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software
Francisco Martins, Dominic Orchard
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many a…