Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
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 on Idris, a functional programming language with dependent types. This episode is very much about pr...
About This Episode
Episode 2: Edwin Brady on Idris is an episode from The Type Theory Podcast by David Raymond Christiansen. In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a fu...
Podcast
This episode belongs to The Type Theory Podcast.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Sep 26, 2014, 01:32:50 long, audio available.
Related Episodes
Continue listening to more episodes from The Type Theory Podcast.
Episode 5: Bob Constable on CTT and Nuprl
Aug 31, 2015 - 00:00:00
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
Apr 18, 2015 - 00:00:00
Episode 3: Dan Licata on Homotopy Type Theory
Jan 7, 2015 - 00:00:00
Episode 1: Peter Dybjer on types and testing
Aug 13, 2014 - 00:00:00