Daniel Marshall

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Data Confidentiality

Wavelet Transform

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard
A Mixed Linear and Graded Logic: Proofs, Terms, and Models. CoRR (2024)
Daniel Marshall, Dominic Orchard
Functional Ownership through Fractional Uniqueness. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Daniel Marshall, Dominic Orchard
Functional Ownership through Fractional Uniqueness. CoRR (2023)
Daniel Marshall, Dominic Orchard
Graded Modal Types for Integrity and Confidentiality. CoRR (2023)
Daniel Marshall, Michael Vollmer, Dominic Orchard
Linearity and Uniqueness: An Entente Cordiale. ESOP (2022)
Daniel Marshall, Dominic Orchard
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. PLACES@ETAPS (2022)
Daniel Marshall, Dominic Orchard
How to Take the Inverse of a Type. ECOOP (2022)
Daniel Marshall, Dominic Orchard
How to Take the Inverse of a Type (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)