How to Take the Inverse of a Type. - Danielle Marshall 001; Dominic Orchard (ECOOP, 2022)

Linearity and Uniqueness: An Entente Cordiale. - Danielle Marshall 001; Michael Vollmer 003; Dominic Orchard (ESOP, 2022)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. - Danielle Marshall 001; Dominic Orchard (PLACES@ETAPS, 2022)

How to Take the Inverse of a Type (Artifact). - Danielle Marshall 001; Dominic Orchard (Dagstuhl Artifacts Ser., 2022)

Graded Modal Types for Integrity and Confidentiality. - Danielle Marshall 001; Dominic Orchard (CoRR, 2023)

Non-linear communication via graded modal session types. - Danielle Marshall 001; Dominic Orchard (Inf. Comput., 2024)

Functional Ownership through Fractional Uniqueness. - Danielle Marshall 001; Dominic Orchard (Proc. ACM Program. Lang., 2024)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models. - Victoria Vollmer; Danielle Marshall 001; Harley Eades III; Dominic Orchard (CSL, 2025)