A Lazy Desugaring System for Evaluating Programs with Sugars - Yang, Ziyi; Xiao, Yushuo; Guan, Zhichao; Hu, Zhenjiang (Functional and Logic Programming, 2022)