About this episode

This episode discusses various topics related to the POPL 2026 symposium.

This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster. In this episode we talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.

People in this episode

Host: Jessica Foster

Topics covered

• symbolic execution monads
• lazy linear core
• hyperfunctions
• hallway track
• dealing with rejection

Keywords

• POPL 2026
• Haskell
• Rust
• symbolic execution
• hyperfunctions
• programming languages
• rejection

Mentioned in this episode

Products: Haskell, Rust

More episodes of The Haskell Interlude

• 84: Sylvain Henry · June 29, 2026 · 52 min

Explore listener stats, chart rankings, contacts and more on the The Haskell Interlude podcast page.