You are right, the 1960 paper describes a language that is a pure functional language. I think it even was the first published pure functional language (pointer

You are right, the 1960 paper describes a language that is a pure functional language. I think it even was the first published pure functional language (pointers to earlier work welcome, of course).