Some of these articles may be assigned as part of homework.
They may also be useful to you as a supplement to lectures and other reading.
None of the readings listed on this page are required unless they are
explicitly assigned in homework or in lecture.
Articles and Reports
- J. McCarthy, Recursive
functions of symbolic expressions and their computation by machine, Comm.
ACM 3, 4 (1960) 184-195.
- J. Backus, Can programming be
liberated from the von Neuman style?, Comm. ACM 21, 8 (1978)
613-641. (large file)
- R. Harper, Introduction
to Standard ML, Report ECS-LFCS-86-14, Dept. Computer Science,
Univ. Edinburgh, 1989. (Link is to updated web version.)
- B. Kernighan, Why Pascal is Not My
Favorite Programming Language, Bell Labs CSTR 100, July 1981.
- A. Koenig, An
anecdote about ML type inference, USENIX Symposium on Very High Level
- Aleph One,
Smashing the stack for fun and profit
, Phrack 7, 49 (1996)
- E.W. Dijkstra
Go To Statement Considered Harmful
, Communications of the ACM, 11, 3 (1968)
- N. Wirth, Program development by stepwise
refinement, Communications of the ACM, 14, 4 (1971)
- D. Parnas, On the criteria to be used in
decomposing systems into modules, Communications of the ACM, 15,
12 (1972) 1053-1058.
- D. Ingalls, Design principles behind Smalltalk,
BYTE Special Issue on Smalltalk, August 1981. (Scanned by Dwight Hughes.)
- 15 Years Ago in BYTE: The Smalltalk
Environment by Larry Tessler, BYTE, August 1996.
- W.R. Cook, Interfaces
and specifications for the Smalltalk-80 collection classes,.Proc ACM
Conf. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA
'92). ACM SIGPLAN Notices ,Vol. 27, No. 10 (Oct. 1992), Pages 1-15.
- Gilad Bracha, Generics in
the Java Programming Language, Sun Microsystems, 2004.
- Peter Canning, William Cook, Walter Hill, Walter Oltho, John C.
for Object-Oriented Programming, FPCA 1989. (First few pages only)
Paul Hudak, John Hughes, Simon Peyton Jones, and Philip Wadler,
A history of Haskell: Being lazy with class,
Proc. 3rd ACM SIGPLAN conference on History of Programming Languages (HOPL), 2007,
Simon Peyton Jones,
Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, IOS Press 2001.
Monads for functional programming
In M. Broy (ed.), Marktoberdorf Summer School on Program Design Calculi, Springer Verlag, 1992.
Simon Peyton Jones,
In Beautiful Code, ed. Andy Oram, Greg Wilson, O’Reilly 2007.
The Transactional Memory / Garbage Collection Analogy.
In ACM Symp. Object-Oriented Programming: Systems, Languages, and Architectures (OOPSLA’07), 2007,
- E. Gamma et al., Design
Patterns: Elements of Reusable Object-Oriented Software,
- B. Stroustrup, The Design
and Evolution of C++, Addison-Wesley, 1994, 461 pages.
- K. Arnold and J. Gosling, The
Java Programming Language, Addison-Wesley, 1996.
A dictionary of common
programming language terms is available.
Suggestions for additional
terms may be sent to