Danielle Marshall

According to our database, Danielle Marshall authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Mixed Linear and Graded Logic: Proofs, Terms, and Models.

Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Functional Ownership through Fractional Uniqueness.

Danielle Marshall, Dominic Orchard

Proc. ACM Program. Lang., 2024

Non-linear communication via graded modal session types.

Danielle Marshall, Dominic Orchard

Inf. Comput., 2024

2023

Graded Modal Types for Integrity and Confidentiality.

Danielle Marshall, Dominic Orchard

CoRR, 2023

2022

How to Take the Inverse of a Type (Artifact).

Danielle Marshall, Dominic Orchard

Dagstuhl Artifacts Ser., 2022

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.

Danielle Marshall, Dominic Orchard

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

Linearity and Uniqueness: An Entente Cordiale.

Danielle Marshall, Michael Vollmer, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2022

How to Take the Inverse of a Type.

Danielle Marshall, Dominic Orchard

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022