Dominic Orchard
- Functional Ownership through Fractional Uniqueness
2023/10/27 by Danielle Marshall, Daniel Marshall, Dominic Orchard +2 · 1 voice
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Security and Verification in Computing #cs.PL
- Graded Modal Dependent Type Theory
2020/10/25 by Benjamin C. Moon, Harley Eades, Moon, Benjamin +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Software Engineering Research
- Graded Hoare Logic and its Categorical Semantics
2020/07/22 by Marco Gaboardi, Shin-ya Katsumata, Gaboardi, Marco +5 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Formal Methods in Verification
- Cognacy Queries over Dependence Graphs for Transparent Visualisations
2024/03/07 by Joseph Bond, Bond, Joseph, Cristina David +7 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- A Theory of Composing Protocols
2022/03/04 by Laura Bocchi, Dominic Orchard, A. Laura Voinea · 1 voice
Computer Science · #Advanced Software Engineering Methodologies #Logic, programming, and type systems #Service-Oriented Architecture and Web Services #cs.PL