Fangyi ZhouHome Posts Publications AboutPosts2022 (2)April (1)Apr 1 · Neo-Classical Logic (SIGBOVIK 2022)March (1)Mar 1 · Meta-Programming in LaTeX2020 (1)March (1)Mar 29 · Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20