Specification and Verification for Unrestricted Algebraic Effects and Handling

Name: Specification and Verification for Unrestricted Algebraic Effects and Handling
Creator: Zenodo
Published: 2024-05-28T03:22:19+08:00

Zenodo2024-06-01 更新2026-05-26 收录

数据链接：

https://zenodo.org/doi/10.5281/zenodo.11363460 数据链接链接失效反馈

官方服务：

资源简介：

This repository serves for the artifact evaluation for the ICFP24 (#95) submission: Specification and Verification for Unrestricted Algebraic Effects and Handling. To get started, please check out the README.md file.

提供机构：

Zenodo

创建时间：

2024-05-28

Specification and Verification for Unrestricted Algebraic Effects and Handling

资源简介：

相关数据集