Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu. A Lazy Desugaring System for Evaluating Programs with Sugars. In Michael Hanus, Atsushi Igarashi, editors, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Volume 13215 of Lecture Notes in Computer Science, pages 243-261, Springer, 2022. [doi]
Abstract is missing.