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
More info on how stats are collected.
Indexed in
Publication date:
October 18, 2021
DOI:
10.5281/zenodo.5575771

Zenodo DOI Badge

DOI 

10.5281/zenodo.5575771

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5575771.svg)](https://doi.org/10.5281/zenodo.5575771)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5575771.svg
   :target: https://doi.org/10.5281/zenodo.5575771

HTML 

<a href="https://doi.org/10.5281/zenodo.5575771"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5575771.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5575771.svg

Target URL 

https://doi.org/10.5281/zenodo.5575771

Keyword(s):
Graded Modal Types Linear Types Distributive Laws Linear Haskell
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.5575771 Oct 18, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5575770. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export