Theorems for free! In Fourth Symposium onFunctional Programming Languages and Computer Architecture (1989)

by Philip L Wadler
Venue:In Proceedings ofthe 1990 ACM Conference on Lisp and Functional Programming