Software Open Access

How to Take the Inverse of a Type (Artifact)

Daniel Marshall; Dominic Orchard

Artifact for the pearl of the same title that appears at ECOOP 2022. Includes code examples in both Haskell and Granule. See ECOOP2022_AE_Submission_Document.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.3 GB)
Name Size
ECOOP2022_AE_Submission_Document.md
md5:76207d3381dcdd48541d0d7ebf39dd91
6.0 kB Download
ecoop22-paper13-artifact.tar.gz
md5:b187f849e170e11fee955643a722add1
1.3 GB Download
33
4
views
downloads
All versions This version
Views 3333
Downloads 44
Data volume 3.8 GB3.8 GB
Unique views 2424
Unique downloads 33

Share

Cite as