83: POPL 2026 - Part 2

The Haskell Interlude by Haskell Podcast

Jun 14, 202644:53Technology

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 li...

Related Episodes

Continue listening to more episodes from The Haskell Interlude.

86: Michael Hanus

Sep 11, 2026 - 53:59

In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is...

85: Brent Yorgey

Aug 26, 2026 - 59:47

In today’s episode, we’re joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix Coll...

84: Sylvain Henry

Jun 29, 2026 - 51:35

In this episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contrib...

82: Fraser Tweedale

May 19, 2026 - 48:31

We talked to Fraser Tweedale. Fraser works at Red Hat, and is on the Haskell Security Response Team. We t...

81: Torsten Grust

Apr 27, 2026 - 70:44

Mike and Andres sat down with Torsten Grust, who is a professor of DB systems at the University of Tübing...

80: POPL 2026 - Part 1

Apr 13, 2026 - 42:56

This is the first part of a miniseries on this year’s Symposium on Principles of Programming Languages, a...

79: Peter Thiemann

Mar 22, 2026 - 66:35

Peter is a professor at the University of Freiburg, and he was doing functional programming right when Ha...

78: Jamie Willis

Mar 8, 2026 - 43:25

In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jami...