Lambda the Ultimate

Hi, we can now get to the second part of the exercise! Please help me by locating on the map and marking with a yellow pin the birth places of influential ideas in the programming languages theory and design, that influenced major programming languages (in the sense discussed in the previous message). Again - the point is not to employ subjective value judgments, but rather include any idea that was considered influential. For example: ADTs, OOP, structured programming, explicit typing, strong typing etc. There are, of course, more influential ideas than major languages.

Since debates about priority are common, please mention in the pin description the researcher/paper/book that you have in mind, and if possible the year the idea was announced.

If the origin of an idea is closely associated with a language already on the map, you should still go ahead and add a yellow pin (you can mention the connecetion in the description, of course).

[To change the color of the pin, click on the pin icon on the pin edit window, and choose the yellow pin from the available options.]