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: | 2025 |
| Collection: | Zenodo |
| Description: | The Coq formalisation and OCaml implementation associated with the paper "A General Fine-Grained Reduction Theory for Effect Handlers". This version matches the extended version of the paper, as submitted to JFP. The sources are provided within the fgred-ae.tgz archive. |
| Document Type: | software |
| Language: | unknown |
| Relation: | https://zenodo.org/records/16574145; oai:zenodo.org:16574145; https://doi.org/10.5281/zenodo.16574145 |
| DOI: | 10.5281/zenodo.16574145 |
| Availability: | https://doi.org/10.5281/zenodo.16574145; https://zenodo.org/records/16574145 |
| Rights: | Creative Commons Attribution 4.0 International ; cc-by-4.0 ; https://creativecommons.org/licenses/by/4.0/legalcode |
| Accession Number: | edsbas.4E473B26 |
| Database: | BASE |