A Lazy Desugaring System for Evaluating Programs with Sugars

Published in FLOPS22: 16th International Symposium on Functional and Logic Programming, 2022