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

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

Jump to: L | M | V

Number of items: 4.

L

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, . (KAR id:112666)

M

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)

V

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)

This list was generated on Sat Jan 17 20:36:28 2026 GMT.