Comprehending Monads (1992)

by Philip Wadler
Venue:Mathematical Structures in Computer Science