Episode 4: Stephanie Weirich on Zombie and Dependent Haskell | The Type Theory Podcast - discu.eu

Reddit

The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 20 comments 18/4/2015 programming

The Type Theory Podcast Episode 4: Stephanie Weirich on Zombie and Dependent Haskell http://typetheorypodcast.com/2015/04/episode-4-stephanie-weirich-on-zombie-and-dependent-haskell/ 4 comments 18/4/2015 haskell