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

by tinyspacewizardon 11/11/2022, 9:53:42 PM with 1 comment
  • by tinyspacewizardon 11/11/2022, 10:34:35 PM

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