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)
80
7
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 80 | 80 |
| Downloads | 7 | 7 |
| Data volume | 6.1 GB | 6.1 GB |
| Unique views | 72 | 72 |
| Unique downloads | 5 | 5 |
Indexed in
- Publication date:
- January 29, 2022
- DOI:
-
- Keyword(s):
- linear types uniqueness types substructural logic
- License (for files):
- Other (Open)