Abstract
This is a series of four tutorial-style lectures, given at the Oregon Programming Languages Summer School 2026. The cover the programmer’s-eye view of Verse, its semantics (both operational and denotational), and how to verify (i.e. typecheck) Verse programs.
These lectures describe work in progress!