Published October 8, 2020
| Version 1.0
Software
Open
Software artefact for the POPL 2021 submission "Asynchronous effects"
Description
This is a software artefact for the POPL 2021 submission "Asynchronous effects".
The artefact comprises:
- an Agda formalisation of the core calculus presented in the paper;
- a prototype implementation of the core calculus in OCaml, called Æff; and
- a Docker image that includes all necessary dependencies to use the artefact.
For more information about the artefact and how to use it, see the README.md file in the attached archive.
A preprint of the associated paper "Asynchronous effects" can be found at https://arxiv.org/abs/2003.02110.
Notes
Files
popl2021-artefact-aeff.zip
Files
(958.3 MB)
Name | Size | Download all |
---|---|---|
md5:269e8eb34819306a2c20e5244278b3d7
|
958.3 MB | Preview Download |