Published June 17, 2021
| Version v1
Other
Open
Linear Exponentials as Graded Modal Types (Appendix)
Authors/Creators
- 1. University of Kent
- 2. University of Strathclyde
Description
Appendix for the paper with the same title that appears at TLLA 2021 which was omitted from the original paper due to space limitations.
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
appendix.pdf
Files
(240.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad386f80c12400279340b785f9ce8948
|
240.3 kB | Preview Download |