The marriage of effects and monads (0)

by P Wadler, P Thiemann
Venue:ACM Trans. Comput. Log