Published November 7, 2024 | Version v2
Software Open

Affect: An Affine Type and Effect System -- Artifact

Creators

  • 1. ROR icon Radboud University Nijmegen
  • 2. ROR icon University of Edinburgh

Description

The Coq formalisation of Affect.

This artifact accompanies the paper:

van Rooij Orpheas, Krebbers Robbert, “Affect: An Affine Type and Effect System”, Proc. ACM Program. Lang. 9(POPL), 2025.

Files

affect-src.zip

Files (8.5 GB)

Name Size Download all
md5:7ff41b53fce3c3052ecccb342949b294
104.2 kB Preview Download
md5:41a672b12084592c48bce500a31bc1dd
12.0 kB Preview Download
md5:70ad5bfa4113286911ac505e94019ea6
8.5 GB Download

Additional details

Software

Repository URL
https://github.com/ovanr/affect
Programming language
Coq