Specification and Verification for Unrestricted Algebraic Effects and Handling
收藏官方服务：
资源简介：
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/".
提供机构：
Zenodo创建时间：
2023-11-16
