discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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
17/3/2019
Reddit
Higher-order type-level programming in Haskell
https://www.microsoft.com/en-us/research/publication/higher-order-type-level-programming-in-haskell/
22 comments
15/3/2019
haskell