Episode 4: Stephanie Weirich on Zombie and Dependent Haskell

Episode 6: Aaron Stump on Cedille

Dec 1, 2016 - 00:00:00

Episode 5: Bob Constable on CTT and Nuprl

Aug 31, 2015 - 00:00:00

Episode 5: Bob Constable on CTT and Nuprl

Episode 3: Dan Licata on Homotopy Type Theory

Jan 7, 2015 - 00:00:00

Episode 3: Dan Licata on Homotopy Type Theory

Episode 2: Edwin Brady on Idris

Sep 26, 2014 - 01:32:50

In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin ha...View more

Episode 1: Peter Dybjer on types and testing

Aug 13, 2014 - 00:00:00

We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verific...View more