Theorems for free! In Functional programming languages and computer architecture (1989)

by Philip Wadler
Venue:United Kingdom: ACM. ISBN