Theorems for free! Fourth symposium on functional programming languages and computer architecture. ACM (1989)

by Philip L Wadler