Published March 8, 2024 | Version v1
Software Open

Functional Ownership through Fractional Uniqueness (Artefact)

Authors/Creators

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

Description

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.

Notes

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

artefact.zip

Files (30.8 MB)

Name Size Download all
md5:a516c9ee1f7e565124977f37ca77c426
30.7 MB Preview Download
md5:a22fe8c799dd758a5ea71be62de63213
99.6 kB Preview Download

Additional details

Related works

Is supplement to
Publication: 10.1145/3649848 (DOI)