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
The Type Theory Podcast Podcast Guide
Listen to The Type Theory Podcast, a Science & Medicine podcast by David Raymond Christiansen. Stream 6 episodes in English, follow new audio stories, and play episodes online on Radio and Podcast.
Show Topic
Browse this show under Science & Medicine podcasts.
Episodes
6 episodes are available for this podcast.
Discover More
Explore Science & Medicine podcasts, United States podcasts and English podcasts.
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.
Questions About The Type Theory Podcast
Where can I listen to The Type Theory Podcast episodes?
You can listen to The Type Theory Podcast episodes online on Radio and Podcast. Open an episode and the site player will stream the available audio.
What is The Type Theory Podcast about?
The Type Theory Podcast is listed as a Science & Medicine show. The show language is listed as English.
How many The Type Theory Podcast episodes are listed?
This page lists 6 episodes for The Type Theory Podcast.
Quick Answers About The Type Theory Podcast
Where can I listen to The Type Theory Podcast?
You can listen to The Type Theory Podcast episodes on this page by opening an episode and using the site player.
What type of podcast is The Type Theory Podcast?
The Type Theory Podcast is listed as a Science & Medicine show by David Raymond Christiansen.
How many episodes are available?
This page lists 6 episodes for The Type Theory Podcast where feed data is available.