- 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 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 haskell
Linked pages
- http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf 3 comments
- Oregon Programming Languages Summer School https://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html 2 comments
- GitHub - sweirich/pi-forall: A demo implementation of a simple dependently-typed language https://github.com/sweirich/pi-forall 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:typetheorypodcast.com
Search title: Episode 4: Stephanie Weirich on Zombie and Dependent Haskell | The Type Theory Podcast
See how to search.