Report on the Programming Language (1990)

by P Hudak, P Wadler