Science & Medicine

The Type Theory Podcast

David Raymond Christiansen

A podcast about type theory

Episodes

6 episodes

00:00:00Dec 1, 2016

00:00:00Aug 31, 2015

In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Ste...

00:00:00Apr 18, 2015

00:00:00Jan 7, 2015

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a function...

01:32:50Sep 26, 2014

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.

00:00:00Aug 13, 2014