Published October 18, 2021
| Version v1
Other
Open
Deriving Distributive Laws for Graded Linear Types (Additional Material)
Description
Additional material for the paper of the same name which appears in the EPTCS proceedings for TLLA/Linearity 2020.
Notes
This work is supported by an EPSRC Doctoral Training Award and
EPSRC grant EP/T013516/1 (Verifying Resource-like Data Use in Programs via Types).
Files
derivingappendix.pdf
Files
(326.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e5351a7b5608ec567a240790c86b6584
|
326.9 kB | Preview Download |