[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
On May 13, 2014, at 17:00 , Martin Escardo <[email protected]> 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
