Published February 25, 2022 | Version v1
Software Open

How to Take the Inverse of a Type (Artifact)

Creators

  • 1. University of Kent

Description

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.

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

ECOOP2022_AE_Submission_Document.md

Files (1.3 GB)

Name Size Download all
md5:76207d3381dcdd48541d0d7ebf39dd91
6.0 kB Preview Download
md5:b187f849e170e11fee955643a722add1
1.3 GB Download