The Type Theory Podcast

Episode 1: Peter Dybjer on types and testing

Listen Later
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
...more
View all episodesView all episodes
Download on the App Store
The Type Theory PodcastBy The Type Theory Podcast
  • 5
  • 5
  • 5
  • 5
  • 5

5

5 ratings

More shows like The Type Theory Podcast

View all
Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

Algorithms + Data Structures = Programs

33 Listeners