- The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 20 comments programming
- The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 4 comments haskell
- The Type Theory Podcast, Episode 3: Dan Licata on Homotopy Type Theory http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-theory/ 14 comments haskell
- "Edwin Brady on Idris" in the Type Theory Podcast http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/ 87 comments haskell
- Type Theory Podcast: Peter Dybjer on QuickCheck, verification, and semantics http://typetheorypodcast.com/2014/08/episode-1-peter-dybjer-on-type-theory-and-testing/ 21 comments haskell