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

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

Number of items: 4.

Liepelt, Vilem and Marshall, Daniel and Orchard, Dominic and Rajani, Vineet and Vollmer, Michael (2025) On graded coeffect types for information-flow control. In: Orchard, Dominic A. and Petricek, Thomas and Singer, Jeremy, eds. Languages, compilers, analysis - from beautiful theory to useful practice. Lecture Notes in Computer Science . Springer Nature, pp. 114-148. ISBN 978-3-032-08186-5. E-ISBN 978-3-032-08187-2. (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)

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)

Marshall, Daniel, Vollmer, Michael, Orchard, Dominic (2022) Linearity and uniqueness: An Entente Cordiale. In: Lecture Notes in Computer Science. Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science , 13240. pp. 346-375. 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)

This list was generated on Mon Mar 2 20:19:28 2026 GMT.