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.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Haskell Podcast. Innehållet i podden är skapat av Haskell Podcast och inte av, eller tillsammans med, Poddtoppen.