Specification and Verification for Unrestricted Algebraic Effects and Handling
收藏NIAID Data Ecosystem2026-05-01 收录
数据链接：
官方服务：
资源简介：
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
