A Lazy Desugaring System for Evaluating Programs with Sugars

Published in 16th International Symposium on Functional and Logic Programming (FLOPS 2022), 2022