The Verse Language: Types, Semantics, and Verification

Simon Peyton Jones Oregon Programming Languages Summer School 2026 (OPLSS'26)