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
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
You can listen to Episode 1: Peter Dybjer on types and testing online on Radio and Podcast. Open the player on this page to stream the available audio.
Episode 1: Peter Dybjer on types and testing is an episode from The Type Theory Podcast by David Raymond Christiansen.
This episode is 00:00:00 long.
This episode was published on Aug 13, 2014.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from The Type Theory Podcast when more episodes are available from the podcast feed.
You can listen to Episode 1: Peter Dybjer on types and testing on this page when the episode audio is available from the podcast feed.
Episode 1: Peter Dybjer on types and testing is from The Type Theory Podcast by David Raymond Christiansen.
Published Aug 13, 2014 and 00:00:00 long