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!
Content
- Lecture 1: Video, Slides, Notes
- Lecture 2: Video, Slides, Notes
- Lecture 3: Video, Slides, Notes
- Lecture 4: Video, Slides, Notes
- Supporting Figures. This document consists only of typeset figures, with little or no text. Snapshots of the document appear in the slides; but it’s helpful to have the whole thing in one place for reference.