1992a], "Comprehending monads (1992)

by PL Wadler
Venue:Mathematical Structures in Computer Science