Daniel Marshall

According to our database, Daniel Marshall authored at least 7 papers between 2022 and 2024.

Collaborative distances:

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

2024

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

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

CoRR, 2024

2023

Functional Ownership through Fractional Uniqueness.

Daniel Marshall, Dominic Orchard

CoRR, 2023

Graded Modal Types for Integrity and Confidentiality.

Daniel Marshall, Dominic Orchard

CoRR, 2023

2022

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

Daniel Marshall, Dominic Orchard

Dagstuhl Artifacts Ser., 2022

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

Daniel 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.

Daniel Marshall, Michael Vollmer, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2022

How to Take the Inverse of a Type.

Daniel Marshall, Dominic Orchard

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