Sign up to save your podcasts
Or
Share 83: POPL 2026 - Part 2
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
83: POPL 2026 - Part 2
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.
View all episodes
By Haskell Podcast
5
1414 ratings
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.
More shows like The Haskell Interlude
View all
Freakonomics Radio
32,100 Listeners
99% Invisible
26,197 Listeners
The Quanta Podcast
547 Listeners
Alex & Sigges podcast
135 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,170 Listeners
The Intelligence from The Economist
2,534 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
10,182 Listeners
Tech Won't Save Us
577 Listeners
Dwarkesh Podcast
576 Listeners
Happy Path Programming
14 Listeners
The Rest Is History
15,592 Listeners
Software Unscripted
29 Listeners
Oxide and Friends
65 Listeners
Rust in Production
26 Listeners
The Rest Is Politics: US
2,300 Listeners