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 …