Category theory and functional programming (1993)

by Michael Spivey