Items where Author, Editor or other role is "Marshall, Daniel"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2025 | 2024 | 2022

Number of items: 5.

2025

Liepelt, Vilem, Marshall, Daniel, Orchard, Dominic, Rajani, Vineet, Vollmer, Michael (2025) On graded coeffect types for information-flow control. “Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice Essays Dedicated to Alan Mycroft on the Occasion of His Retirement”, LNCS Volume number 15500, 2025, . pp. 114-148. (doi:10.1007/978-3-032-08187-2_7) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:112666)

Vollmer, Victoria, Marshall, Daniel, Eades, Harley, Orchard, Dominic (2025) A mixed linear and graded logic: proofs, terms, and models. 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), 326 . (doi:10.4230/LIPIcs.CSL.2025.32) (KAR id:112664)

2024

Marshall, Daniel, Orchard, Dominic A. (2024) Functional Ownership through Fractional Uniqueness. Proceedings of the ACM on Programming Languages, 8 (OOPSLA). pp. 1040-1070. ISSN 2475-1421. (doi:10.1145/3649848) (KAR id:105880)

2022

Marshall, Daniel, Vollmer, Michael, Orchard, Dominic (2022) Linearity and uniqueness: An Entente Cordiale. In: Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science Springer ISBN 978-3-030-99336-8. E-ISBN 978-3-030-99336-8. (doi:10.1007/978-3-030-99336-8_13) (KAR id:98024)

Marshall, Daniel, Orchard, Dominic A. (2022) Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. In: Proceedings of the Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software. Electronic Proceedings in Theoretical Computer Science (doi:10.4204/EPTCS.356.1) (KAR id:113875)

This list was generated on Mon Apr 27 20:44:56 2026 BST.