Theorems for free! (1989)

by Philip Wadler
Venue:FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE