Constrained Monads (GADTs indexed by Constraint) - discu.eu

Reddit

Constrained Monads (GADTs indexed by Constraint) http://www.ittc.ku.edu/csdl/fpg/papers/sculthorpe-13-constrainedmonad.html 5 comments 3/4/2013 haskell

Linking pages

GitHub - gasche/icfp2013-papers: List of ICFP'13 accepted papers, with links to preprint or additional information when available https://github.com/gasche/icfp2013-papers#readme 9 comments

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

Related searches:

Search whole site: site:www.ittc.ku.edu

Search title: Constrained Monads (GADTs indexed by Constraint)

See how to search.

Submit link to: