Episode 6: Aaron Stump on Cedille
The Type Theory Podcast
Episode 6: Aaron Stump on CedilleNext Episodes
Episode 5: Bob Constable on CTT and Nuprl @ The Type Theory Podcast
📆 2015-08-31 16:32
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell @ The Type Theory Podcast
📆 2015-04-18 21:07
Episode 3: Dan Licata on Homotopy Type Theory @ The Type Theory Podcast
📆 2015-01-07 21:02
Episode 2: Edwin Brady on Idris @ The Type Theory Podcast
📆 2014-09-26 09:58 / ⌛ 01:32:50
Episode 1: Peter Dybjer on types and testing @ The Type Theory Podcast
📆 2014-08-13 08:18