Tailai Yu, Zhichao Guan 0002, Di Wang 0017, Zhenjiang Hu 0002. Inferring Typing Rules for Contextual Sugars. In Yukiyoshi Kameyama, Ningning Xie, editors, Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026. pages 61-75, ACM, 2026. [doi]
Abstract is missing.