数据集概述
本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。
文件详解
- 文件名称：
AlgebraicEffect-StagedSL.zip
- 文件格式：ZIP
- 字段映射介绍：归档文件包含论文支持数据，其中基准测试样例位于路径
src/demo/下，语义关键词含"medical: ct"，未检测到命名模式，无训练/测试、数据/标签、原始/处理等数据拆分结构。
数据来源
ICFP24论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》
适用场景
- 程序验证研究：用于分析代数效应与处理的规范设计及验证方法。
- 编程语言理论分析：支持对无限制代数效应特性的学术研究与实验复现。
- 基准测试案例参考：提供论文相关的基准测试样例，辅助相关技术的性能评估。
- 医学CT语义相关应用：基于语义关键词"medical: ct"，可探索代数效应在医学CT领域的潜在应用场景。
