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.
Fler avsnitt av The Haskell Interlude
Visa alla avsnitt av The Haskell InterludeThe Haskell Interlude med Haskell Podcast finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.
