Software Open Access

Linearity and Uniqueness: An Entente Cordiale (Artifact)

Daniel Marshall; Michael Vollmer; Dominic Orchard

Artifact for the paper with the same title that appears at ESOP 2022. Includes code examples and allows for the benchmarks in the paper to be replicated. See README.md for more information.

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 (1.5 GB)
Name Size
84.tar.gz
md5:70c4faffefd1a1124fd7cd83080422f5
1.5 GB Download
README.md
md5:492f7ec528dd4c3c442e1032052db9ea
7.6 kB Download
34
2
views
downloads
All versions This version
Views 3434
Downloads 22
Data volume 1.5 GB1.5 GB
Unique views 2727
Unique downloads 11

Share

Cite as