Other Open Access

Deriving Distributive Laws for Graded Linear Types (Additional Material)

Hughes, Jack; Vollmer, Michael; Orchard, Dominic

Additional material for the paper of the same name which appears in the EPTCS proceedings for TLLA/Linearity 2020.

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 (326.9 kB)
Name Size
derivingappendix.pdf
md5:e5351a7b5608ec567a240790c86b6584
326.9 kB Download
23
21
views
downloads
All versions This version
Views 2323
Downloads 2121
Data volume 6.9 MB6.9 MB
Unique views 2222
Unique downloads 1818

Share

Cite as