Podcasts by 301 Moved Permanently
A podcast about type theory
Further podcasts by The Type Theory Podcast
Podcast on the topic Naturwissenschaften
All episodes
Episode 5: Bob Constable on CTT and Nuprl from 2015-08-31T14:32:12
Episode 5: Bob Constable on CTT and Nuprl
ListenEpisode 4: Stephanie Weirich on Zombie and Dependent Haskell from 2015-04-18T19:07:49
In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie language and Dependent Haskell. Stephanie is a long-time contributor to Haskell, having been...
ListenEpisode 3: Dan Licata on Homotopy Type Theory from 2015-01-07T20:02:22
Episode 3: Dan Licata on Homotopy Type Theory
ListenEpisode 2: Edwin Brady on Idris from 2014-09-26T07:58:48
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episod...
ListenEpisode 1: Peter Dybjer on types and testing from 2014-08-13T06:18:02
We speak with Peter Dybjer about the relationship between QuickCheck-style testing and proofs and verification in type theory.
Listen