Peter Dybjer
1 Podcast Episodes
Episode 1: Peter Dybjer on types and testing
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 t... Read more
13 Aug 2014
•
