Published February 25, 2022
| Version v1
Software
Open
How to Take the Inverse of a Type (Artifact)
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).