Hacker News
- New extension to Haskell -- data types and polymorphism at the type level http://research.microsoft.com/en-us/people/dimitris/fc-kind-poly.pdf 13 comments
- New extension to Haskell -- data types and polymorphism *at the type level* http://research.microsoft.com/en-us/people/dimitris/fc-kind-poly.pdf 26 comments programming
- Giving Haskell a Promotion (typed type-level programming/new kind system paper) http://research.microsoft.com/en-us/people/dimitris/fc-kind-poly.pdf 30 comments haskell
Linking pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:research.microsoft.com
Search title: Microsoft Research – Emerging Technology, Computer, and Software Research
See how to search.