Theorems for free!. In: Functional Programming Languages and Computer Architecture (1989)

by Phil Wadler