Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsWe speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
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...
This episode belongs to The Type Theory Podcast.
Use the player on this page to stream the episode online.
Published Aug 13, 2014, 00:00:00 long, audio available.
Continue listening to more episodes from The Type Theory Podcast.
Dec 1, 2016 - 00:00:00
Aug 31, 2015 - 00:00:00
Apr 18, 2015 - 00:00:00
Jan 7, 2015 - 00:00:00
Sep 26, 2014 - 01:32:50