Report on the functional programming language (1988)

by P Hudak, P L Wadler