2021年6月21日 - 2021年6月26日

Microsoft at PLDI 2021

地点： 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)