PODCAST · science
The Type Theory Podcast
by The Type Theory Podcast
We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.
Episodes
-
Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
-
Episode 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. Stephanie is a long-time contributor to Haskell, having been involved in the design and implementation of features such as generalized algebraic datatypes,...
-
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 functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation...
-
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.
We're indexing this podcast's transcripts for the first time — this can take a minute or two. We'll show results as soon as they're ready.
No matches for "" in this podcast's transcripts.
No topics indexed yet for this podcast.
Loading reviews...
Loading similar podcasts...
Frequently Asked Questions
How many episodes does The Type Theory Podcast have?
The Type Theory Podcast currently has 6 episodes available on PodParley. New episodes are automatically indexed when they're published to the podcast feed.
What is The Type Theory Podcast about?
We interview experts and researchers in type theory, from the perspectives of programming, mathematics, and philosophy.
How often does The Type Theory Podcast release new episodes?
The Type Theory Podcast has 6 episodes. Check the episode list to see recent publication dates and frequency.
Where can I listen to The Type Theory Podcast?
You can listen to The Type Theory Podcast on PodParley by clicking any episode. We provide an embedded audio player for direct listening, and you can also subscribe via your preferred podcast app using the RSS feed.
Who hosts The Type Theory Podcast?
The Type Theory Podcast is created and hosted by The Type Theory Podcast.
URL copied to clipboard!