The Marriage of Effects and Monads (1998)

by Philip Wadler, Peter Thiemann