Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Functional Ownership through Fractional Uniqueness
Danielle Marshall, Dominic Orchard
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 language.…
cs.PL2023
Graded Modal Types for Integrity and Confidentiality
Danielle Marshall, Dominic Orchard
Graded type systems, such as the one underlying the Granule programming language, allow various different properties of a program's behaviour to be tracked via annotating types wit…