The marriage of effects and monads (0)

by Philip Wadler, Peter Thiemann
Venue:ACM Trans. Comput. Log