Specification and Verification for Unrestricted Algebraic Effects and Handling
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/10143942
下载链接
链接失效反馈官方服务：
资源简介：
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/".
创建时间：
2024-02-29
