Combining monads (1992)

by D King, P Wadler
Venue:Glasgow Workshop on Functional Programming, Workshops in Computing Series