Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published March 8, 2024 | Version v1
Software Open

Functional Ownership through Fractional Uniqueness (Artefact)

  • 1. ROR icon University of Kent
  • 2. ROR icon University of Cambridge


Artifact for the paper of the same title that appears at OOPSLA 2024. Includes code examples in both Granule and Rust. See overview.pdf for more information.


This work is supported by an EPSRC Doctoral Training Award (Marshall) and EPSRC grant EP/T013516/1 (Verifying Resource-like Data Use in Programs via Types). Orchard is also supported in part by the generosity of Eric and Wendy Schmidt by recommendation of the Schmidt Sciences program.


Files (30.8 MB)

Name Size Download all
30.7 MB Preview Download
99.6 kB Preview Download

Additional details

Related works

Is supplement to
Publication: 10.1145/3649848 (DOI)