Functional Ownership through Fractional Uniqueness
D Marshall, D Orchard - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Ownership and borrowing systems, designed to enforce safe memory management without
the need for garbage collection, have been brought to the fore by the Rust programming …
the need for garbage collection, have been brought to the fore by the Rust programming …
Replicate, reuse, repeat: Capturing non-linear communication via session types and graded modal types
D Marshall, D Orchard - arXiv preprint arXiv:2203.12875, 2022 - arxiv.org
Session types provide guarantees about concurrent behaviour and can be understood
through their correspondence with linear logic, with propositions as sessions and proofs as …
through their correspondence with linear logic, with propositions as sessions and proofs as …
[HTML][HTML] Non-linear communication via graded modal session types
D Marshall, D Orchard - Information and Computation, 2024 - Elsevier
Session types provide guarantees about concurrent behaviour and can be understood
through their correspondence with linear logic, with propositions as sessions and proofs as …
through their correspondence with linear logic, with propositions as sessions and proofs as …