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

Linearity and Uniqueness: An Entente Cordiale (Appendix)

  • 1. University of Kent


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


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).



Files (414.2 kB)

Name Size Download all
414.2 kB Preview Download