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

1 comment

[ 4.6 ms ] story [ 15.1 ms ] thread

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