Peter Dybjer

Peter Dybjer

1 Interview
Peter Dybjer http://www.cse.chalmers.se/~peterd/

Peter Dybjer's Interviews

David Christiansen & Peter Dybjer 13 Aug 2014 • EN

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 theory.

1 min
00:00
00:00
No file found

Podcast with Peter Dybjer

Shout-outs

Add shout-out

Your shout-out can appear here. Consider telling everyone why Peter Dybjer should be followed.

Possible Pairings

You might also be interested in