[TYPES] types

[Andreas Rossberg]

On May 13, 2014, at 17:00 , Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
> I seem to vaguely recall that in the remote past, types in some programming languages were called "modes" (Algol?). So to find the literature before types in logic and in programming languages "converged" one probably has to look for that keyword. M.

That was Algol-68, which invented all sorts of new terminology, most of which is rather obscure from today’s perspective. But indeed, I always wondered why in particular they departed from the “type” terminology of earlier Algol. Maybe that’s an indicator that “type” wasn’t yet a standard notion in the PL world at the time?

/Andreas