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

<p><pre><code> ... a type inference system means that typing (of data) need not involve extra typing (with fingers).</code></pre>