The first modern usage of the term ‘type’ appears in the Algol 58 report (Perlis, Samelson, 1958).
Martini [2016] documents that types in the Algol 58 report appeared during a meeting between the
ACM group and European group working on Algol in Zurich at the end of May 1958. He also points
out a remarkable fact that “the technical term appears to be just a semantical shift from the generic
one; in particular, there is no clue that in this process the technical term ‘type’ from mathematical
logic had any role”. Over the next two decades, the term ‘type’ will acquire a multitude of new
meanings and the mathematical culture will meet the engineering culture, arguably culminating
with the development of the ML language.
https://twitter.com/enf/status/1143943790316544000