Published January 29, 2022 | Version v1
Software Open

Linearity and Uniqueness: An Entente Cordiale (Artifact)

Creators

  • 1. University of Kent

Description

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.

Notes

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

README.md

Files (1.5 GB)

Name Size Download all
md5:70c4faffefd1a1124fd7cd83080422f5
1.5 GB Download
md5:492f7ec528dd4c3c442e1032052db9ea
7.6 kB Preview Download