Theorems for free (1989)

by P Wadler
Venue:In FPCA’89