Published March 9, 2024 | Version v1
Other Open

Functional Ownership through Fractional Uniqueness (Appendix)

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

Description

Appendix for the paper with the same title that appears at OOPSLA 2024, which was omitted from the original paper due to space limitations. Includes definitions and proofs.

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

appendix.pdf

Files (857.7 kB)

Name Size Download all
md5:f57e3c6d43ca441b819f4bd535e1a114
857.7 kB Preview Download

Additional details

Related works

Is supplement to
Publication: 10.1145/3649848 (DOI)