Theorems for Free (1989)

by P Wadler
Venue:In Proc. of FPCA'89