Danielle Marshall

11 papers A 2B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 — conf
On Graded Coeffect Types for Information-Flow Control.
Languages, Compilers, Analysis
Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
2025 B conf
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CSL
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2024 J jnl
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CoRR
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2024 J jnl
Functional Ownership through Fractional Uniqueness.
Proc. ACM Program. Lang.
Danielle Marshall, Dominic Orchard
2024 J jnl
Non-linear communication via graded modal session types.
Inf. Comput.
Danielle Marshall, Dominic Orchard
2023 J jnl
Functional Ownership through Fractional Uniqueness.
CoRR
Danielle Marshall, Dominic Orchard
2023 J jnl
Graded Modal Types for Integrity and Confidentiality.
CoRR
Danielle Marshall, Dominic Orchard
2022 J jnl
How to Take the Inverse of a Type (Artifact).
Dagstuhl Artifacts Ser.
Danielle Marshall, Dominic Orchard
2022 A conf
How to Take the Inverse of a Type.
ECOOP
Danielle Marshall, Dominic Orchard
2022 A conf
Linearity and Uniqueness: An Entente Cordiale.
ESOP
Danielle Marshall, Michael Vollmer, Dominic Orchard
2022 — conf
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.
PLACES@ETAPS
Danielle Marshall, Dominic Orchard