types can change the world! Programming Concepts and Methods (1990)

by P Linear Wadler
Venue:Elsevier Science Publisher B.V. (North-Holland