The marriage of eects and monads (0)

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