Draft paper: promoting functions (to type level) - discu.eu

Reddit

Draft paper: promoting functions (to type level) http://www.cis.upenn.edu/~eir/papers/2014/promotion/promotion.pdf 24 comments 24/5/2014 haskell

Linking pages

GitHub - yallop/haskell2014-papers: Accepted papers for Haskell 2014 https://github.com/yallop/haskell2014-papers 5 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:www.cis.upenn.edu

Search title: Draft paper: promoting functions (to type level)

See how to search.

Submit link to: