Why calculating is better than scheming (1987) [pdf]

    ... a type inference system means that typing (of data) need not involve extra typing (with fingers).