Published March 9, 2024
| Version v1
Other
Open
Functional Ownership through Fractional Uniqueness (Appendix)
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
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)