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/".本数据集为提交至国际函数式程序设计大会（International Conference on Functional Programming, ICFP）2024的投稿论文配套数据，包含源代码与基准测试集。基准测试示例可在文件夹"src/demo/"中找到。