An interesting multifarious collection of papers.
Too bad only a few of the papers I nominated were selected.
I agree, and for this reason I here by announce a LtU exclusive event: Best Language Design Papers survey.
The rules are simple: Only published papers, talks or book chapters may be entered. Any LtU reader can nominate as many papers as he wants. Papers with the full text online are preferred.
Relevant topics include, but are not restricted to:
Notation as a Tool of Thought. Ken Iverson, Turing Award Lecture, 1979.
Is this available online?
Notice, however, that this was written a long time ago - and it shows. Small example: "Since in principle programs should be read by others, or reread by their authors, before being submitted to the computer..." Before? Why is that, one wonders.
Indeed, the report talks too much about efficiency for my tastes. Sounds like it was written when computers were slooow.
Although many of the points Hoare made about language implementation may seem dated, I think his advice regarding simplicity, security etc., plus his related work on record types, Algol W, monitors and condition variables, etc., make him well worth reading and recommending to others. (Hint: look at how much of Java is anticipated in work Hoare and others did 30 years ago.)
Call it history if you want, but I think it's very valuable to stay in touch with how we got to where we are now.