Theorems for free (1989)

by P Wadler
Venue:In Proc. ACM Conf. on Functional Programming Languages and Computer Architecture, ACM