文献汇编
一般性讨论和观点
ACM SIGPLAN Ed. Board Why Undergraduates Should Learn the Principles of Programming Languages, 2010.6
ACM SIGPLAN Ed. Board PL Course: Discussion Summaries and Recommendations, 2008.11
John K. Ousterhout Scripting: Higher Level Programming for the 21st Century
Philip Wadler Proofs are Programs: 19th Century Logic and 21st Century Computing, 2000
From Frege to Gosling: 19'th century logic and 21'st century programming languages, 2000
Herb Sutter The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
经典文献
John Backus Can Programming Be Liberated from the von Neumann Style?, 1978
Edsger W. Dijkstra Go To Statement Considered Harmful, 1968
Notes On Structured Programming, 1972
Guarded Command, Nondeterminacy and Formal Derivation of Programs, 1975
In Pursuit of Simplicity: the manuscripts of Edsger W. Dijkstra, U of Texas
Robert W. Floyd Assigning Meaning to Programs
C.A.R. Hoare Hints on Programming Language Design, 1973
An Axiomatic Basis for Computer Programming, 1969
John Hughes Why Functional Programming Matters
Kenneth E. Iverson Programming notation in systems design
Alan Kay The Early History Of Smalltalk
Brian W. Kernighan Why Pascal is Not My Favorite Programming Language
A. Koenig An anecdote about ML type inference, USENIX Symposium on Very High Level Languages,1994.
Peter J. Landin The next 700 programming languages, 1965
John McCarthy Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I), 1960
Lisp: Notes on its Past and Future 1980
History of Lisp
Towards a Mathematical Science of Computation
Aleph One Smashing the stack for fun and profit, Phrack 7, 49 (1996)
D. Parnas On the criteria to be used in decomposing systems into modules, Communications of the ACM, 15, 12 (1972) 1053-1058.
John C. Reynolds Definitional Interpreters for Higher-Order Programming Languages, 1972
Definitional Interpreters Revisited, 1998
Jean E. Sammet Programming Languages: History and Future, 1972
Christopher Strachey Foundamental Concepts of Programming Languages, 1981
Guy Lewis Steele Jr. Growing a Language, 1998
Guy Lewis Steele Jr. & Richard P. Gabriel The Evolution of Lisp
Larry Tessler The Smalltalk Environment, BYTE, August 1996.
Niklaus Wirth On the Design of Programming Languages
Program development by stepwise refinement, Communications of the ACM, 14, 4 (1971) 221--227.
Philip Wadler The Essence of Functional Programming, 1992
Peter Wegner Programming Languages -- The First 25 Years, 1976
其他重要文献
Luca Cardelli Type Systems
一些语言的参考手册(文件或者链接)或资源网址
更多链接和资源见 Michael L. Scott 汇编的信息(该网页的本地映像
J.W. Backus, et al Revised Report on the Algorithmic Language Algol 60
Richard Kelsey, et al The Scheme Programming Language, Fifth Edition
James Gosling, et al The Java Language Specification, Second Edition
ISO/IEC The C Reference Manual (C99), Preliminary Version
John McCarthy LISP 1.5 Programmer's Manual
Guy Lewis Steele Jr. Common Lisp, the Language, 2nd Edition
本页由裘宗燕维护,用于课程学习。其他使用需得到有关作者的许可。