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

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

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

Inferring Typing Rules for Contextual Sugars. - Tailai Yu; Zhichao Guan 002; Di Wang 017; Zhenjiang Hu 002 (PEPM, 2026)