Hacker News
- Higher-Order Type-Level Programming in Haskell [pdf] https://www.microsoft.com/en-us/research/uploads/prod/2019/03/ho-haskell-5c8bb4918a4de.pdf 17 comments
Linking pages
- On the arity of type families - Ryan Scott https://ryanglscott.github.io/2019/05/26/on-the-arity-of-type-families/ 17 comments
- Leibniz equality in Haskell, part 1 - Ryan Scott https://ryanglscott.github.io/2021/08/22/leibniz-equality-in-haskell-part-1/ 14 comments
- Why kind-level foralls don't interact with ScopedTypeVariables - Ryan Scott https://ryanglscott.github.io/2021/04/05/why-kind-level-foralls-dont-interact-with-scopedtypevariables/ 9 comments
- An opinionated history of programming languages | artagnon.com https://artagnon.com/art/pl 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:www.microsoft.com
Search title: Higher-Order Type-Level Programming in Haskell [pdf]
See how to search.