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
Questions About This Episode
What is Episode 2: Edwin Brady on Idris about?
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 programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future.
Where can I listen to Episode 2: Edwin Brady on Idris?
You can listen to Episode 2: Edwin Brady on Idris online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Episode 2: Edwin Brady on Idris from?
Episode 2: Edwin Brady on Idris is an episode from The Type Theory Podcast by David Raymond Christiansen.
How long is this episode?
This episode is 01:32:50 long.
When was this episode published?
This episode was published on Sep 26, 2014.
Can I save Episode 2: Edwin Brady on Idris for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from The Type Theory Podcast?
Yes. This page shows related episodes from The Type Theory Podcast when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Episode 2: Edwin Brady on Idris?
You can listen to Episode 2: Edwin Brady on Idris on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Episode 2: Edwin Brady on Idris is from The Type Theory Podcast by David Raymond Christiansen.
What are the episode details?
Published Sep 26, 2014 and 01:32:50 long