A General Fine-Grained Reduction Theory for Effect Handlers: Formalisation
| Title: | A General Fine-Grained Reduction Theory for Effect Handlers: Formalisation |
|---|---|
| Authors: | Sieczkowski, Filip; Pyzik, Mateusz; Biernacki, Dariusz |
| Publisher Information: | Zenodo |
| Publication Year: | 2023 |
| Collection: | Zenodo |
| Description: | The Coq formalisation and OCaml implementation associated with the paper "A General Fine-Grained Reduction Theory for Effect Handlers", conditionally accepted to ICFP 2023. The sources are provided within the fgred-ae.tgz archive, while the VM image is provided within the fgred-image.tgz archive |
| Document Type: | software |
| Language: | unknown |
| Relation: | https://zenodo.org/records/7993545; oai:zenodo.org:7993545; https://doi.org/10.5281/zenodo.7993545 |
| DOI: | 10.5281/zenodo.7993545 |
| Availability: | https://doi.org/10.5281/zenodo.7993545; https://zenodo.org/records/7993545 |
| Rights: | Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: | edsbas.9F7451AC |
| Database: | BASE |