Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
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.
About This Episode
Episode 1: Peter Dybjer on types and testing is an episode from The Type Theory Podcast by David Raymond Christiansen. We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type th...
Podcast
This episode belongs to The Type Theory Podcast.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Aug 13, 2014, 00:00:00 long, audio available.
Related Episodes
Continue listening to more episodes from The Type Theory Podcast.
Episode 5: Bob Constable on CTT and Nuprl
Aug 31, 2015 - 00:00:00
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Apr 18, 2015 - 00:00:00
Episode 3: Dan Licata on Homotopy Type Theory
Jan 7, 2015 - 00:00:00
Episode 2: Edwin Brady on Idris
Sep 26, 2014 - 01:32:50