The Type Theory Podcast – Details, episodes & analysis

Podcast details

Technical and general information from the podcast's RSS feed.

The Type Theory Podcast

Science

Frequency: 1 episode/168d. Total Eps: 6

A podcast about type theory

Site

RSS

Apple

Data updated on 14/07/2026

Recent rankings

Latest chart positions across Apple Podcasts and Spotify rankings.

Apple Podcasts

Spotify

No recent rankings available

Shared links between episodes and podcasts

Links found in episode descriptions and other podcasts that share them.

See all

No links shared by this podcast

RSS feed quality and score

Technical evaluation of the podcast's RSS feed quality and structure.

See all

RSS feed quality

To improve

Score global : 48%

Publication history

Monthly episode publishing history over the past years.

Year

Latest published episodes

Recent episodes with titles, durations, and descriptions.

See all

Episode 6: Aaron Stump on Cedille

Episode 6

Thursday, December 1, 2016 • Duration 00:00

Episode 6: Aaron Stump on Cedille

Episode 5: Bob Constable on CTT and Nuprl

Episode 5

Monday, August 31, 2015 • Duration 00:00

Episode 5: Bob Constable on CTT and Nuprl

Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

Episode 4

Saturday, April 18, 2015 • Duration 00:00

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, type families, and promoted datatypes. She has also been a participant in Trellys, a project with the goal of combining proofs and programming in the same language. Zombie is a different kind of dependently typed language, eschewing automatic β-reduction in the type checker for an approach based on explicit equality rewriting, which enables new ways of combining proofs and programs, as well as new forms of proof automation. Meanwhile, as languages designed for dependently typed programming come closer to practical applicability, Haskell is also moving towards full dependent types. We discuss the challenges and opportunities available at the cutting edge of Haskell.

The Type Theory Podcast – Details, episodes & analysis

Podcast details

Recent rankings

Apple Podcasts

Spotify

Shared links between episodes and podcasts

RSS feed quality and score

Publication history

Latest published episodes

Related Shows Based on Content Similarities

Related Shows Based on Content Similarities

Apple Podcasts

Spotify

The Type Theory Podcast – Details, episodes & analysis

Podcast details

Recent rankings

Apple Podcasts

Spotify

Shared links between episodes and podcasts

RSS feed quality and score

Publication history

Latest published episodes

Similar podcasts and content

Related Shows Based on Content Similarities

Related Shows Based on Content Similarities

Apple Podcasts

Spotify