Fangyi ZhouHome Posts PublicationsTalks AboutPosts2023 (2)November (1)Nov 13 · What the date?February (1)Feb 27 · Producing long and short versions of a paper in LaTeX2022 (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