Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Vilem Liepelt, Danielle Marshall, Dominic Orchard
Graded types provide a way to augment a type system with fine-grained information, e.g., to track side effects or context dependence and resource use (called coeffects). Graded typ…
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…