Episode 1: Peter Dybjer on types and testing
Listen now
Description
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
More Episodes
Published 12/01/16
Published 12/01/16
Published 08/31/15
Links
Twitter
Facebook
Instagram
Patreon
Genres
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
See hourly chart positions and more than 30 days of history.
Get Chartable Analytics »
See hourly chart positions and more than 30 days of history.
