Host and producer of the Type Theory Forall podcast who guides conversations on programming languages, type theory, and functional programming; organizes interviews and episodes for the show.
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
