
Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & Podcasts
Simon Peyton Jones joins us to discuss recent developments in GHC, parallel programming, and computer science education. We start by discussing some upcoming changes to Cabal and the module system and then look at recent...