Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)