Software Open Access
Software artefact for the POPL 2021 paper "Asynchronous Effects"
Ahman, Danel;
Pretnar, Matija
This is a software artefact for the POPL 2021 paper:
Danel Ahman and Matija Pretnar. 2021. Asynchronous Effects.
Proc. ACM Program. Lang. 5, POPL, Article 24 (January 2021), 28 pages.
This software artefact comprises:
- an Agda formalisation of the core calculus presented in the POPL submission;
- 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.
This material is based upon work supported by the Air Force Office of Scientific Research under award number FA9550-17-1-0326.
Files
(976.8 MB)
| Name | Size | |
|---|---|---|
|
popl2021-artefact-aeff.tar
md5:c9f88a6505f38c91c1981be6b93aa9dd |
976.8 MB | Download |
168
22
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 168 | 77 |
| Downloads | 22 | 9 |
| Data volume | 21.4 GB | 8.8 GB |
| Unique views | 112 | 56 |
| Unique downloads | 17 | 8 |
Indexed in
- Publication date:
- November 10, 2020
- DOI:
-
- Keyword(s):
- Algebraic effects, Asynchrony, Concurrency, Interrupt handling, Signals
- Grants:
-
European Commission:
- LiquidEff - LiquidEff: Algebraic Foundations for Liquid Effects (834146)
- License (for files):
- Creative Commons Attribution 4.0 International