Why calculating is better than scheming (1987) [pdf] (cs.kent.ac.uk)

1 comment

[ 3.1 ms ] story [ 14.3 ms ] thread

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