The Type Theory Podcast
The Type Theory Podcast
1) Episode 6: Aaron Stump on Cedille
2) Episode 5: Bob Constable on CTT and Nuprl
3) Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
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 in...Show More
4) Episode 3: Dan Licata on Homotopy Type Theory
5) Episode 2: Edwin Brady on Idris
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode i...Show More
6) Episode 1: Peter Dybjer on types and testing
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.