Specification and Verification for Unrestricted Algebraic Effects and Handling
收藏官方服务：
资源简介：
This is the supporting data from a paper submission to PLDI24, including the source code and the benchmarks.
提供机构：
Zenodo创建时间：
2023-11-17
社区交流群
科研交流群
商业服务
This is the supporting data from a paper submission to PLDI24, including the source code and the benchmarks.