Theorems for free! (1989)

by Philip Wadler
Venue:In International Conference on Functional Programming and Computer Architecture,