The marriage of effects and monads (1999)

by Philip Wadler
Venue:ACM SIGPLAN Notices