The Type Theory Podcast
A podcast about type theory
Show episodes
Episode 5: Bob Constable on CTT and Nuprl
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 involved in the design and implementation of features such as generalized algebraic datatypes, higher-rank polymorphism, t
Episode 3: Dan Licata on Homotopy Type Theory
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 is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.