找到1个数据集

标签: ICFP24论文

过滤结果

  • ICFP24_Based_代数效应与处理验证规范支持数据

    2026年1月30日 30 67 14

    数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。 文件详解 文件名称：AlgebraicEffect-...
    packageimg