- The Haskell Cast #14 - Richard Eisenberg on Dependent Types in Haskell http://www.haskellcast.com/episode/014-richard-eisenberg-on-dependent-types-in-haskell 11 comments haskell
Linking pages
Linked pages
- opaleye: An SQL-generating DSL targeting PostgreSQL http://hackage.haskell.org/package/opaleye 85 comments
- https://ucsd-progsys.github.io/liquidhaskell-blog/ 59 comments
- Disqus – The #1 way to build your audience https://disqus.com 32 comments
- Servant - haskell-servant http://haskell-servant.github.io/ 4 comments
- https://www.seas.upenn.edu/~sweirich/papers/coercible-JFP.pdf 0 comments
- LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg - YouTube https://www.youtube.com/watch?v=6snteFntvjM 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:haskellcast.com
Search title: Episode 14 - Richard Eisenberg on Dependent Types in Haskell - The Haskell Cast
See how to search.