- Dependent types in Haskell: Progress Report https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/ 20 comments haskell
Linking pages
- Karol Kuczmarski's Blog – A Haskell retrospective http://xion.io/post/programming/haskell-retrospective.html 29 comments
- Visible dependent quantification in Haskell - Ryan Scott https://ryanglscott.github.io/2019/03/15/visible-dependent-quantification-in-haskell/ 21 comments
- Refinement Types and Dependent Functions Stable in Racket 6.11 https://www.infoq.com/news/2017/11/racket-6-11-dependent-types 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:typesandkinds.wordpress.com
Search title: Dependent types in Haskell: Progress Report | Types and Kinds
See how to search.