Published February 29, 2024
| Version v3
Dataset
Open
Specification and Verification for Unrestricted Algebraic Effects and Handling
Authors/Creators
Description
This is the supporting data from a paper submission to ICFP24, including the source code and the benchmarks.
The benchmark examples can be found in folder "src/demo/".
Files
AlgebraicEffect-StagedSL.zip
Files
(510.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a1595821517c4d6937d119db21aacff
|
510.8 kB | Preview Download |