1 | Episode 6: Aaron Stump on Cedille 2016-12-01 |
Play |
2 | Episode 5: Bob Constable on CTT and Nuprl 2015-08-31 |
Play |
3 | Episode 4: Stephanie Weirich on Zombie and Dependent Haskell 2015-04-18 |
Play |
4 | Episode 3: Dan Licata on Homotopy Type Theory 2015-01-07 |
Play |
5 | Episode 2: Edwin Brady on Idris 2014-09-26 |
Play |
6 | Episode 1: Peter Dybjer on types and testing 2014-08-13 |
Play |