Comprehending monads (1992)

by P Wadler
Venue:Mathematical Structures in Computer Science