Type Theory Forall Type Theory much beyond inference rules. Author: Pedro Abreu An accessible podcast about Type Theory, Programming Languages Research and related topics. Be a guest on this podcast Language: en Genres: Science, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

#61 Zurihac Behind the Scenes - Farhad Mehta
Thursday, 16 April, 2026

In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet. Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8. Links Zurihac Website Types Discussion on the use of AI Agda Discussion on the use of AI

We also recommend:

securityBINGE
RivetJoint Productions

Into The Forge
Eric Klein

Rise City Church Podcast
Rise City Church

Emergence Podcast
Emergence Podcast by Matthew Brightman and Alex Danco

Aethermonolog Musik Podcast
Kai Birkenfeld

Valley Talks stories of Silicon Valley Startups
Sylvia Gorajek

Technische Mechanik 3, Vorlesung, WS15/16

"Can't Be Done"
Adam Draper

The ThunderCast

Reverse Redaction
Reverse Redaction

David Sanchez
David Sanchez

The Sane Solopreneur
Shelley Graves