Zhichao Guan -

Registered user since Tue 13 Oct 2020

Name:Zhichao Guan

Country:China

Affiliation:Peking University

Personal website: https://higher-order.fun/

Contributions

2022

FLOPS

Author of A Lazy Desugaring System for Evaluating Programs with Sugars within the FLOPS 2022-track