discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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