Episode 6: Aaron Stump on Cedille
Dec 1, 2016 - 00:00:00
Radio and PodcastLive Radio & PodcastsScience & Medicine
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell
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 involved in the design...
About This Episode
Episode 4: Stephanie Weirich on Zombie and Dependent Haskell is an episode from The Type Theory Podcast by David Raymond Christiansen. In our fourth episode, we speak with Stephanie Weirich from the University of Pennsylvania on the Zombie...
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 Apr 18, 2015, 00:00:00 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 3: Dan Licata on Homotopy Type Theory
Jan 7, 2015 - 00:00:00
Episode 2: Edwin Brady on Idris
Sep 26, 2014 - 01:32:50
Episode 1: Peter Dybjer on types and testing
Aug 13, 2014 - 00:00:00