査読有り 2022年5月21日 A Lazy Desugaring System for Evaluating Programs with Sugars 16th International Symposium on Functional and Logic Programming (FLOPS 2022) Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu エクスポート BibTeX RIS