Programming Languages

Papers

• An Axiomatic Basis for Computer Programming - Hoare, 1969
• Fundamental Concepts in Programming Languages - Strachey, 1967
• Growing a Language - Steele, 1998
• Hints on Programming Language Design - Hoare, 1973
• Monads for Functional Programming - Wadler, 1992
• Notation as a Tool of Thought - Iverson, 1980
• On Understanding Types, Data Abstraction, and Polymorphism - Cardelli & Wegner, 1985
• Out of the Tar Pit - Moseley & Marks, 2006
• Programming with Abstract Data Types - Liskov & Zilles, 1974
• Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I - McCarthy, 1960
• The Emperor's Old Clothes - Hoare, 1980
• The Essence of Functional Programming - Wadler, 1992
• The Next 700 Programming Languages - Landin, 1966
• The Roots of Lisp - Graham, 2002
• Why Functional Programming Matters - Hughes, 1989

ACM SIGPLAN History of Programming Languages Proceedings

• HOPL I
• HOPL II
• HOPL III
• HOPL IV

Websites

• Lambda the Ultimate
• Crafting Interpreters
• Read Scheme
• People of Programming Languages
• Programming Languages: Application and Interpretation
• Brown CS173
• Functional programming books overview
• PLT resources
• Dynamic Languages Wizards Series, Spring 2001