Log in to Zulip
PLF Lab
https://lab.plf.inf.ethz.ch
The Programming Language Foundations Lab is headed by Ralf Jung. We focus on formal results at the most basic levels of programming language research.
Don't have an account yet? You need to be invited to join this organization.