Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsIn 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...
Continue listening to more episodes from The Type Theory Podcast.
Dec 1, 2016 - 00:00:00
Aug 31, 2015 - 00:00:00
Apr 18, 2015 - 00:00:00
Jan 7, 2015 - 00:00:00
Aug 13, 2014 - 00:00:00