The constrained-monad problem.

Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill

Browse the full ICFP paper archive.