1 person rated this podcast
David Raymond Christiansen
The Type Theory PodcastEpisodes
David Raymond Christiansen
The Type Theory Podcast
1 person rated this podcast
Rate Podcast
Episodes of The Type Theory Podcast
Mark All
Search Episodes...
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 f
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 th
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Join Podchaser to...
- Rate podcasts and episodes
- Follow podcasts and creators
- Create podcast and episode lists
- & much more
Unlock more with Podchaser Pro
- Audience Insights
- Contact Information
- Demographics
- Charts
- Sponsor History
- and More!
- Account
- Register
- Log In
- Find Friends
- Resources
- Help Center
- Blog
- API
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More
- © 2024 Podchaser, Inc.
- Privacy Policy
- Terms of Service
- Contact Us