Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
Radio and PodcastLive Radio & PodcastsLoading page
Opening Radio and Podcast...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsOpening Radio and Podcast...
Radio and PodcastLive Radio & PodcastsFetching podcast shows and categories...
Radio and PodcastLive Radio & PodcastsFetching podcast episodes...
A podcast about type theory
Episode 6: Aaron Stump on Cedille
Episode 5: Bob Constable on CTT and Nuprl
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
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...
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.