Staged Separation Logic for Unrestricted Effect Handlers

To support our paper submission: Separation Logic for Unrestricted Effect Handlers. This repository provides the latest version of the implementation (in the code folder) and testing benchmark (in the benchmark folder) here.为支撑我们的论文《分离逻辑用于无限制效果处理》（Separation Logic for Unrestricted Effect Handlers）的投稿工作，本代码仓库提供了实现代码的最新版本（存放于code文件夹）与测试基准集（存放于benchmark文件夹）。