Who am I?
My main interest is programming language in general, program synthesis and language design in particular. Apart from computer science, I am concerned about the primary and secondary education in China (see some of my Chinese posts).
Publication (no ‘s’ currently)
- Ziyi Yang*, Yushuo Xiao*, Zhichao Guan, Zhenjiang Hu. A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS 2022 PDF