Skip to main content

Search TrendsNew Ads Appearances Podcasts API

We value your privacy

We use cookies to understand how you use our platform and to improve your experience. Click “Accept All” to consent, or “Decline non-essential” to opt out of non-essential cookies. Read our Privacy Policy.

The Haskell Interlude

The Haskell Interlude

80: POPL 2026 - Part 2

Jun 14, 2026 · 45 min · 9 segments

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…

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.

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…

Top entities: Inference×7 Rust×11 LLVM×6 United States×5 Germany×4

Speakers: Jessica FosterHostApal JostetGuestYan Ning ChenGuestTom DiversGuestAndrew HirschGuestEdward KmettGuestEddie JonesGuest

Episode Overview0:15 – 0:34

Jessica FosterHost

0:15

Welcome to the Haskell Interlude.

Jessica FosterHost

0:17

I'm Jessica Foster, and this is part two of our three-part miniseries on Popple 2026.

Jessica FosterHost

0:23

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.

Read the full transcript.

Create an account to read the whole episode, search across every transcript, and follow the shows you care about.

Sign up Already have an account? Log in

InferenceEntity
99%7 mentions
RustEntityProgramming language
97%11 mentions
LLVMSoftware ApplicationComputer program
95%6 mentions
United StatesCountryCountry in North America
93%5 mentions
GermanyCountryCountry in Europe
90%4 mentions
GermansEntityPeople
88%5 mentions
HaskellEntityProgramming language
86%15 mentions
TypeScriptEntityHigh-level programming language
84%2 mentions
SaarlandAdministrative AreaGerman state
82%4 mentions
Jane Street CapitalCompanyPrivate banking company
80%3 mentions
EnglishEntitySpoken language
78%7 mentions
Symposium on Principles of Programming LanguagesEntityConference
76%1 mention
Doctor of PhilosophyEntityDegree
73%3 mentions
NvidiaCompanyCompany
71%4 mentions
New YorkCityCity in New York State
69%3 mentions
Field-programmable gate arrayEntity
67%1 mention
OCamlEntityHigh-level programming language
65%2 mentions
International Conference on Functional ProgrammingEntityConference
63%3 mentions
Yīn YīnMusic GroupBand
61%2 mentions
O'Hare International AirportEntityInternational airport in Illinois
59%1 mention
humorEntity
56%1 mention
PureScriptSoftware ApplicationSoftware
54%2 mentions
University at BuffaloCollege or UniversityPublic university in University at Buffalo, New York
52%1 mention
Max Planck SocietyEducational OrganizationNonprofit
50%2 mentions
ZürichCityCity in Switzerland
48%1 mention
Dale MillerPersonComputer scientist and author
46%2 mentions
United KingdomCountryCountry in Europe
44%2 mentions
SaarbrückenCityCity in Germany
41%2 mentions
EuropeContinentContinent
39%3 mentions
RhinelandAdministrative Area
37%1 mention
EnglandCountryUK constituent country
35%1 mention
ParisCityCapital of France
33%1 mention
computer scienceEntityDiscipline
31%1 mention
ZimbabweCountryCountry in Africa
29%1 mention
FrenchLanguageSpoken language
27%2 mentions
Mark BlythPersonAmerican political economist
24%1 mention
Imperial College LondonCollege or UniversityCollege in London, England
22%1 mention
Nieng YanPersonChinese structural biologist
20%1 mention
JavaEntityHigh-level programming language
18%1 mention
CEntityProgramming language
15%1 mention
JavaScriptEntityProgramming language
15%1 mention
PoloniusEntity
12%1 mention
Simon Peyton JonesPersonBritish computer scientist
10%1 mention
Northeastern UniversityCollege or UniversityResearch university in Boston, Massachusetts
7%1 mention
slipped capital femoral epiphysisEntityMedical disorder
5%1 mention
DenverCityCity in Colorado
3%2 mentions
Greek languageEntityHuman language
1%1 mention

Programming LanguagesTechnology > Computer Science
ConcurrencyTechnology > Computer Science
Type SystemsTechnology > Computer Science
Static AnalysisTechnology > Computer Science
Computer ScienceTechnology
Choreographic ProgrammingTechnology > Computer Science > Programming Languages
Technology
HaskellTechnology > Computer Science > Programming Languages > Choreographic Programming
ConferencesTechnology > Computer Science
Programming Languages Mentoring WorkshopTechnology > Computer Science > Conferences
NetworkingTechnology > Computer Science > Conferences > Programming Languages Mentoring Workshop
Symbolic ExecutionTechnology > Computer Science > Static Analysis
Soteria RustTechnology > Computer Science > Static Analysis > Symbolic Execution
Atomic UpdatesTechnology > Computer Science > Concurrency
Distributed SystemsTechnology > Computer Science > Concurrency > Atomic Updates
PolymorphismTechnology > Computer Science > Type Systems
Row TypesTechnology > Computer Science > Type Systems > Polymorphism