The marriage of eects and monads (1999)

by P Wadler, P Thiemann
Venue:ACM Transactions on Computational Logic