June 21, 2021 - June 26, 2021

Microsoft at PLDI 2021

Location: Virtual: GatherTown

Automata: github.com/AutomataDotNet/Automata (opens in new tab)
Koka: github.com/koka-lang/koka (opens in new tab)
Lean 4: leanprover.github.io (opens in new tab)