Sign up for 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.
You need an invitation to join this organization.
Already have an account? Log in