Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
Radio and PodcastLive Radio & PodcastsScience & Medicine
The Type Theory Podcast
A podcast about type theory
Episodes
6 episodesEpisode 5: Bob Constable on CTT and Nuprl
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. Ste...
Episode 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory
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 function...
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.