Theorems for free (1989)

by Philip Wadlet
Venue:In J'th International Conference on Functional Programming and Computer Architecture (FPCA'89