Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
Episode 6: Aaron Stump on Cedille
1 Dec 2016
•
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
Episode 5: Bob Constable on CTT and Nuprl
31 Aug 2015
•
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and De... Read more
18 Apr 2015
•
Episode 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory
Episode 3: Dan Licata on Homotopy Type Theory
7 Jan 2015
•
Most Popular Podcasts
The Joe Rogan Experience
TED Talks Daily
The Tim Ferriss Show
The Daily
Stuff You Should Know
Oprah's SuperSoul Conversations
Armchair Expert with Dax Shepard
Episode 2: Edwin Brady on Idris
Episode 2: Edwin Brady on Idris
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working ... Read more
26 Sep 2014
•
1hr 32mins
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
•
